Update l4android to kernel 3.5, sync with l4linux
L4Android: re-enable x86 version (fix #632)

Adapt x86 L4Android configuration to fit recently updated version.
File system: Let session quota depend on word size

By basing the session quota on sizeof(long), we satisfy server-side
quota demands on 64 bit.

Fixes #619
noux_bash.run: Don't require usb_drv on x86