CONFIG_X86_RESERVE_LOW=64