RE: [opensuse-arm] Request For Comment: new GRUB_DEVICETREE_FILE option for grub2