Comment 4 for bug 2069802

Actually, sorry, I see that your other change on device tree names might require the new kernel flavor; are the new and old device tree names available in both old and new kernel? How do we ensure people don't upgrade to a broken combination?