Xen Automotive: Bringing Virtualization To Cars