As per the description, the lack of object files seems to cause virtualbox-guest-additions to fail. This may or may not be an issue with KERN_VER set appropriately. Needs testing.