[PATCH] bhyve: workaround for the lack of UTC clock on ARM64