made c++ compiler happy the proper way, for kernel_internal.h