Raspberry Pi 4 UEFI+ACPI Firmware Aims to Make the Board SBBR-Compliant