KERNEL_CONFIG+="SLOB SPARSEMEM_STATIC TINY_RCU CC_OPTIMIZE_FOR_SIZE OPTIMIZE_INLINING SQUASHFS_.+_CACHE ACPI_REDUCED_HARDWARE_ONLY -DEBUG_BUGVERBOSE -TASKS_RCU -RCU_STALL_COMMON -FS_DAX -PREEMPT_DYNAMIC"
use xen || KERNEL_CONFIG+=" -X86_PAE -HIGHMEM64G"