You are right. This doesn't belong to picoC. I built a FF4 target for testing and noticed, this target was forgotten by the HoTT PR. It wasn't intented to smuggle it ;)