add kernel trees in order to build VirtualBox modules