Virtualized Dual Android on Top of the VMXL 4 Microkernel