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