So, ich habe es nun selbst gelöst. Für alle, die es interessiert, hier die Lösung, die bei mir Abhilfe schaffte:
pacman -U /var/cache/pacman/pkg/linux-3.1.9-2-x86_64.pkg.tar.xz
Nachzulesen auch unter
bbs.archlinux.org. Leider war bei mir eine Deinstallation von virtualbox notwendig. Na ja, dafür kann ich jetzt wieder überhaupt damit arbeiten :-)
LG
zauser