User-mode Linux/System testing with UML