kernel/include/config/LRU_GEN_WALKS_MMU