1 2 3 4 5 6 7
CONFIG_X86=y CONFIG_VENDOR_INTEL=y CONFIG_TARGET_CROWNBAY=y CONFIG_OF_CONTROL=y CONFIG_OF_SEPARATE=y CONFIG_DEFAULT_DEVICE_TREE="crownbay" CONFIG_GENERATE_PIRQ_TABLE=y