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