Last quasi-random question of the night: would reviving the kmemcheck ARM port (that IIRC was hacked up a while back) be something useful, or is it something that is too niche to be worth it? At the board's request, I was looking across platform gaps and this feature was one of the things that I found.
Thanks,