The current state of UEFI and Linux