[PATCH 37/40] RFC: Allow passing ACPI tables to bootefi