UEFI boot: how does that actually work, then? | Hacker News Reader