raspberry installation will not boot

If I follow the instructions on https://docs.siderolabs.com/talos/v1.12/platform-specific-installations/single-board-computers/rpi_generic. The image does not contain the Raspberry boot files and fails to boot.

If I download the image https://docs.siderolabs.com/talos/v1.12/platform-specific-installations/single-board-computers/rpi_generic#download-the-image and mount it with losetup on my machine it does not contain the needed *.dtb files and overlays directory.

LOOP=$(sudo losetup -Pf --show metal-arm64.raw)
sudo mount ${LOOP}p1 /mnt && ls /mnt/*.dtb && ls /mnt/overlays | head
ls: cannot access '/mnt/*.dtb': No such file or directory

It can be fixed by doing this build:

OVERLAY=ghcr.io/siderolabs/sbc-raspberrypi:v0.2.0
TALOS=v1.12.11

# Used for clean install on a USB stick
docker run --rm -t -v $PWD/_out:/out -v /dev:/dev --privileged \
  ghcr.io/siderolabs/imager:$TALOS rpi_generic \
  --arch arm64 \
  --overlay-image $OVERLAY \
  --overlay-name=rpi_generic

# Generate the installer image for upgrading existing machines
docker run --rm -t -v $PWD/_out:/out \
  ghcr.io/siderolabs/imager:$TALOS installer \
  --arch arm64 \
  --overlay-image $OVERLAY \
  --overlay-name=rpi_generic

crane push _out/installer-arm64.tar \
  registry.com/library/talos/installer:$TALOS

Start with the linked rpi_generic installation and download-image documentation, then reproduce the reported mount and ls commands against the downloaded image. Compare that result with the provided Docker imager commands; done means the documented Raspberry Pi image contains the required .dtb files and overlays directory, or clearly directs users to an image that does.