[Bug 1164817] New: [RPi4] EFI partition too small, can't install raspberrypi-firmware-extra