I have an issue with latest kernel in a siduction (32 bit) guest running in Virtualbox 4.1.18 on a WindowsXP host. Some module for vboxvideo did not build properly, so screen resolution etc got ugly. Other users seem not to be affected by this.
Here is a dirty :!: workaround for those interested, this is neither supported nor recommended (just "works for me").
The error in the make.log (see http://paste.siduction.org/20121010082758) refers to vboxvideo_drm.c, and I found a similar but not same bug report on https://www.virtualbox.org/ticket/10756. They mention a patched version of that file. Meanwhile they have a newer vboxvideo_drm.c if you follow the link in the last codebox. So what I did:
cd /usr/src/virtualbox-guest-4.1.18/vboxvideo/
mv vboxvideo_drm.c vboxvideo_drm.c.orig
wget --no-check-certificate https://www.virtualbox.org/svn/vbox/trunk/src/VBox/Additions/linux/drm/vboxvideo_drm.c
dkms build virtualbox-guest/4.1.18
As I said, this is obviously a dirty hack, better use (or wait for) Virtualbox 4.2. I can live with this on a non-productive installation that I only use for testing purposes and learning new things!
Thanks for posting it!