HP Chromebook 13 now booting OpenBSD | Hacker News Reader