Comment 7 for bug 2069802

I'm not sure if f-k supports having multiple device tree options; you probably also can't have multiple entries for the same machine but different kernels/device trees.

My recommendation would be to add both transitional packages for upgrades, and provide the old device tree name in the new kernel.