UEFI boot: how does that actually work, then?

NoSuchKey