Supporting UEFI secure boot in Debian | Hacker News Reader