Until the issue of integrating the patch for adding devicetree to
the grub config has not been resolved, we will use a working
solution with extlinux.conf