(Update: Zwischenzeitliche Mount-Probleme sind behoben. Hier der Stand.)
OK, das System lässt sich jetzt booten mit:
Code
Drücken von "3" im Bootmenü, um den Boot-Prompt zu erhalten
set hw.use_xsave="0"
boot -cpu Opteron_G3
Damit lässt sich hoffentlich ein freebsd-upgrade machen. "uname -a" zeigt nämlich, dass es sich um ein "10.4-RELEASE #0" handelt und somit die von vmk oben erwähnten Updates nicht eingespielt sind.