40cbf09f060c ("kernel.h: include a note to discourage people from including it in headers")