How Multicore Enables the Fast and Efficient Deployment of Multi-OS Systems