Fantastic, Nice work!
I'm assuming the original pi and not the pi II
One of his Vines mentions the "Rasperry Pi 1", so it's looking hopeful!
Mike, awesome stuff you've got there! GameMaker would be an awesome default learning tool for kids over MIT Scratch. I'm sure if the Raspberry Pi Foundation shows interest, your higher-ups would be more than willing to prioritize development