- Fix debian kernel installation, add mount of proc/sys/pts filesystems while in emulator mode.