Device tree exists in mainline and is more complete. Also likely this board is not using this kernel anyway.