rename kernel_intern.h (837bad3)

ACK.