[boards] rename kernel_intern.h (#14)

Development archive
1

german “intern” to english “internal”

2

Merged #14.