Il semblerait (sous bénéfice d'inventaire) que le bug ne concerne que le kmod-fglrx (celui correspondant au pilote proprio d'ATI), à cause d'un appel à une fonction obsolète.
La réponse de bugzilla a été :
TS_USEDFPU was removed in the stable backport of Linus' FPU handling fixes.
The fglrx code will need to adapt to those changes.
J'ai transmis au team AMD qui a modifié ses sources.
Si Virtualbox n'utilise pas cette même routine il ne doit pas y avoir de difficulté pour dkms à compiler le module, en tous cas pas pour cette raison là.