load_kernel.h revision 39ac3447
1