Android testcase improvements

The kernel emulator now works for the Android testcase.