Yes, the Hello Kitty one is a Janome. I wouldn't hesitate to buy it if I were in the market. The reviews on that machine are unanimously good.
But honestly, the only feature I need to see when using that machine to teach a youngster, is sewing speed control. I taught my daughter on my old machine without it, and she had a lot of difficulty controlling the machine (she's 5). Now with my newer machine that has the speed control, she does just fine. So that is the only *necessary* feature that I would look for in a machine for a child, anything else is just icing.