[PATCH 1/1] acpi: Add missing RISC-V acpi_table header