How to boot Raspberry Pi OS from an SD card on a Seeedstudio Ethernet Carrier Board carring a CM 4 without eMMC?

This is the instruction: https://wiki.seeedstudio.com/Dual-Gigabit-Ethernet-Carrier-Board-for-Raspberry-Pi-CM4/ The prodedure fro the Pi Pad 5 which is a similar device is shown here: Instruction from the above link: This is the same procedure as for instance with a Pi 4 which is easier as for a Pi Pad 5. Eventually we receive support in the Seeedstudio forum how …