Fix kernel bundle