u-boot/arch/sandbox/include/asm/acpi_table.h