VirtualBox time synchronization driver for NetBSD 7