[GTALUG] UEFI + ACPI on Raspberry Pi: thoughts for a Lightning talk