ClassCast at boot solved

I finally found the problem that caused the ClassCastException during boottime (while mounting the initial ramdisk).

The problem was caused by a bug in the native code compilation of instanceof. This has been solved now.

Ewout