stable/13 missing 2 Windows Dev Kit 2023 related updates that main [so: 14] has

I had to substitute a FreeBSD EFI loader from main [so: 14] to boot
the Windows Dev Kit 2023 via USB3 and a dd'd:

http://ftp3.freebsd.org/pub/FreeBSD/snapshots/ISO-IMAGES/13.2/FreeBSD-13.2-STABLE-arm64-aarch64-ROCK64-20230504-7dea7445ba44-255298.img.xz

When I looked as a resut, the following that mention
the Windows Dev Kit 2023 were not in stable/13 :

Commit message (Expand)	Author	Age	Files	Lines
* 	arm64: Disable PAC when booting on a Windows Dev Kit 2023	Mark Johnston	2023-04-23	1	-1/+30
* 	Add the fixed memory type to the pci ecam driver	Andrew Turner	2023-01-18	1	-3/+20

By contrast, I did find:

Commit message (Expand)	Author	Age	Files	Lines
* 	loader.efi: make sure kernel image is executable	Robert Clausecker	2023-01-23	1	-4/+4
* 	Add Windows Dev Kit 2023 support to if_ure	Andrew Turner	2023-01-23	2	-0/+2
* 	Check for more XHCI ACPI IDs	Andrew Turner	2023-01-23	1	-4/+7

in stable/13 .

(I have not checked the correspondance of what I found
missing vs. the status of the loader. There could be
more involved than what I've found --and some or all
of what I found missing may not be involved in the EFI
loader issue.)

===
Mark Millard
marklmi at yahoo.com