Is RedHat hiding kernel patches to CentOS, possibly violating GPL? | Hacker News Reader