“Jay Dawani believes that for most hardware, a more optimized kernel can make the overall hardware system appear to perform worse by exposing system-level latencies.”