64-bit ARM desktop hardware? | Hacker News Reader