uefi: What if ...?