Fix kernel compilation

* WTH is this