[LinuxBIOS] CONFIG_LB_MEM_TOPK