switch to our fork of kernel