I feared as much when I first looked at the kernel source tree.
I wrote a quick summary here:
has anyone tried to compile a .dtb from either of these configuration files? is it possible to extract the dtb (and compare) from a vanilla phone/factory image?