[boards] rename kernel_intern.h (#14)

Development archive
#1

german “intern” to english “internal”

#2

Merged #14.