> My fear is that teachers will now choose for Windows on the RPi, since that is what they know. And we are back to where we started: a fundamentally unhackable system.

I think that is extremely unlikely to happen.