I would imagine having an Open Source kernel is an advantage for very niche applications like this because you can add/change features that would be useless or detrimental to 99.9999% of users but would be useful in this instance.

I have no idea whether that was part of the reasoning for this or not though.