Revisiting Virtualization and UC