We used to package Device Tree with some patches necessary for building for Raspberry Pi, but this is no longer necessary, and we are able to use the device tree compiler in the kernel tarball that we download.
OSMC doesn’t use ‘dtc’ from apt-get when building for Pi. It builds the in tree device tree compiler and adjusts PATH to prefer that one. If you are using the official OSMC build scripts it will all be handled for you.
I think something is wrong if you are having issues building DTBs. OSMC should build everything you need automatically and you should only need to adjust the patch which creates .config, and add a patch to add your driver.