rename kernel_intern.h (#71)

Development archive
#1

german “intern” to english “internal”

#2

related to #70 (language improvements)

#3

Merged #71.