UEFI is it’s own OS, but Apple went back to minimal firmware.