Switch to Johnnies new kernel