Booting multiple instances of L4 Linux