Well, this is really a temporary workaround for people who like to
run the latest git kernel from Linus, and it's only tested for
virtualbox-modules-4.2.0-r1, and only on ~amd_64.