tree 186981198b5434e049fbf3ead359c37bbc590369
parent 9482fdfaba83ba2e312e6b796d18f69cfcc7d064
author Simon Glass <sjg@chromium.org> 1683758086 -0600
committer Tom Rini <trini@konsulko.com> 1683985952 -0400

bootstd: Rename distro and syslinux to extlinux

We use the terms 'distro' to mean extlinux but they are not really the
same. 'Distro' could refer to any method of booting a distribution,
whereas extlinux is a particular method.

Also we sometimes use syslinux, but it is better to use the same term in
all cases.

Rename distro to syslinux and also update bootstd uses of syslinux to use
extlinux instead.

Signed-off-by: Simon Glass <sjg@chromium.org>