if BOARD_APPLE_MACBOOKAIR4_2 config BOARD_SPECIFIC_OPTIONS def_bool y select BOARD_ROMSIZE_KB_8192 select EC_ACPI select HAVE_ACPI_RESUME select HAVE_ACPI_TABLES select INTEL_INT15 select NORTHBRIDGE_INTEL_SANDYBRIDGE select USE_NATIVE_RAMINIT select SERIRQ_CONTINUOUS_MODE select SOUTHBRIDGE_INTEL_BD82X6X select SYSTEM_TYPE_LAPTOP select GFX_GMA_INTERNAL_IS_EDP select MAINBOARD_HAS_LIBGFXINIT config MAINBOARD_DIR string default apple/macbookair4_2 config MAINBOARD_PART_NUMBER string default "MacBookAir4,2" config VGA_BIOS_FILE string default "pci8086,0116.rom" config VGA_BIOS_ID string default "8086,0116" config DRAM_RESET_GATE_GPIO int default 28 config MAX_CPUS int default 8 endif