1# CONFIG_COLLECT_TIMESTAMPS is not set 2CONFIG_VENDOR_PCENGINES=y 3CONFIG_BOARD_PCENGINES_APU3=y 4CONFIG_APU2_PINMUX_UART_C=y 5CONFIG_APU2_PINMUX_UART_D=y 6CONFIG_NO_GFX_INIT=y 7CONFIG_SEABIOS_ADD_SERCON_PORT_FILE=y 8CONFIG_PXE=y 9CONFIG_BUILD_IPXE=y 10CONFIG_PXE_ROM_ID="8086,1539" 11# CONFIG_IPXE_SERIAL_CONSOLE is not set 12CONFIG_MEMTEST_SECONDARY_PAYLOAD=y 13