Pavona vs. OpenTitan, why the hard fork? | Hacker News Reader