[PATCH] doc/develop/distro.rst: Better document upstream locations of extlinux.conf