[PATCH 40/40] RFC: rpi: Enable booting with ACPI tables