* Seems to be enough to bootstrap VirtualBox guest additions on x86_64 * TODO: port gcc2 patches from kbuild-0.1.5 * use variables in INSTALL()