Comment by yjftsjthsd-h

> and one that is tested and certified

I must have missed that; could you share a link to the Linux kernel that's tested and certified as functional on M4 hardware?