rename kernel_intern.h (#71)

Development archive
1

german “intern” to english “internal”

2

related to #70 (language improvements)

3

Merged #71.