kvm64-{3,4} at onelab now use eth1 after their reinstall under f14