switch to boeffla kernel