Fix kernel derps
It's too late for this stuff