# Everything is wrong
CONFIG_EXT4_FS=y
CONFIG_PGTABLE_LEVELS=44
CONFIG_DEFAULT_HOSTNAME=""