git: e006859bce01 and git: 8cc2156f85bb (and more?) for stable/13: removing some mips support and using 1400000 in one place?

https://www.freebsd.org/platforms/ shows mips as Tier 2 for 13.x but:

https://lists.freebsd.org/archives/dev-commits-src-branches/2023-January/008721.html

is:

QUOTE
The branch stable/13 has been updated by imp:
. . .
    stand: remove mips support

As part of decommissioning mips support, remove the boot loader
support. Do this in advance of other boot loader work to limit the
amount of work that will be thrown away.
END QUOTE

But earlier there was also a change to use a:

#define __FreeBSD_version 1400000

in stable/13:

https://lists.freebsd.org/archives/dev-commits-src-branches/2023-January/008705.html

QUOTE
The branch stable/13 has been updated by imp:
. . .
    Bump the FreeBSD kernel version in kernel boot shim.
. . .
-#define __FreeBSD_version 1300000
+#define __FreeBSD_version 1400000
. . .
END QUOTE

===
Mark Millard
marklmi at yahoo.com