How the ARM32 Linux kernel decompresses | Hacker News Reader