Tools to set up multiple Linux kernels source trees and test external drivers against them