better UEFI support