I just tried building trunk against Linus' current kernel and failed because NOPAGE_SIGBUS was just removed on 28 April. Is this kind of thing worth filing a new bug report for? Do the vbox devs even attempt to keep up with Linus?