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.