The patch to have GRUB load a device-tree is interesting. This is certainly worthy of discussion.
Three issues come up when looking though: First, your patch modifies /etc/grub.d/10_linux, but misses /etc/grub.d/10_linux_xen. /etc/grub.d/10_linux_xen needs a fairly similar treatment. Second, rather than having this get buried inside Debian bug #824954, you should instead file a new bug against grub-common. Third, there may be a need for extra guarding to ensure these sections *only* get invoked on ARM devices (I'm fairly sure the *exact* *same* file is shipped for all architectures). -- (\___(\___(\______ --=> 8-) EHM <=-- ______/)___/)___/) \BS ( | ehem+sig...@m5p.com PGP 87145445 | ) / \_CS\ | _____ -O #include <stddisclaimer.h> O- _____ | / _/ 8A19\___\_|_/58D2 7E3D DDF4 7BA6 <-PGP-> 41D1 B375 37D0 8714\_|_/___/5445