OK, let's drop the patch and assume the device-tree will be fixed
shortly. 

No, keep the patch for now. I'm afraid they aren't willing to fix their
device-tree.

In the meantime, users should be able to work around it by
hacking the device-tree from the OF prompt -- which we currently have to
do for other things in the Efika device-tree anyway.

I'm happy enough for Fedora to require the fixed firmware, certainly.