Fix kernel parser