Ensure kernel is built