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