Re: [LinuxBIOS] CONFIG_LB_MEM_TOPK