Virtualization makes its way into microcontrollers