current status: getting into usermode but getting nowhere due to emulator bugs (now fixed) and additional kernel patches needed