If you search for the page referenced on Wikipedia ("11 Origins of 11 Super Mario Characters' Names"), you'll find the answer:
> Anyway, in Japan, he’s named Kinopio, which is a mixture of the word for mushroom (“kinoko”) and the Japanese version of Pinocchio (“pinokio”). Those blend to be something along the lines of “A Real Mushroom Boy.”
<