Buildsystem for patched device kernels.