-# enfoui runs f18 - also can't seem to enter BIOS on that one
- ('kvm64-6', 4), # 4 cores, 8Gb
-# this used to be kruder, which is broken/dead
-# we now have speedball installed but it is reserved for manual trials of libvirt/qemu
-# this one is down ('kvm64-1', 3), # 4 cores, 4Gb
+# enfoui - can't seem to enter BIOS on that one
+ ('kvm64-1', 4), # 4 cores, 8Gb
+# used to have kruder too, but it is broken/dead
+# dorfmeister