UEFI fixes