Tim, You mustn't have asked your question in the Device Tree Forum, otherwise I would have seen it. This also isn't the right forum for your question, but it found me so I'll answer. Read this (https://www.raspberrypi.org/documentation/linux/kernel/building.md) and use the mkknlimg script to tell the RPi firmware that the kernel is DT-ready. Phil