Building with @hardslog's kernel

Removing this as it is not needed.