OSC 2007で阿部さんの使った講演資料がhttp://squeakland.jp/olpc/にあります。Squeakland版Squeakをインストールしてみてみましょう。B4でも、cpuinfoは433MHz (431.222MHz)と言っていますね。500MHzかと思ってました。