This is bug 1226194. Note that using devicetree in the grub config will throw away all adjustments made by u-boot, like patching the memory size or adding a reserved-memory node for the firmware.