Went to 0.4.1 and latest kernel. OSK is back but crashes after one use. ADB hasn't worked for me under Linux in 0.4.x at all. Has the device id changed again? Is it time for a new version of adb? I believe the system clock interface may have been improved, as I didn't have to set the date and time after reformatting for this install. Software directory comes up reliably now but I still can't install software without an SD card.