1# CONFIG_COLLECT_TIMESTAMPS is not set 2CONFIG_VENDOR_PCENGINES=y 3CONFIG_BOARD_PCENGINES_APU1=y 4CONFIG_NO_GFX_INIT=y 5CONFIG_SEABIOS_ADD_SERCON_PORT_FILE=y 6CONFIG_PXE=y 7CONFIG_BUILD_IPXE=y 8CONFIG_PXE_ROM_ID="10ec,8168" 9# CONFIG_IPXE_SERIAL_CONSOLE is not set 10CONFIG_MEMTEST_SECONDARY_PAYLOAD=y 11