[etoys-dev] Raspberry Pi boot directly to eToys?