Prevent building a debugging kernel