Cannot find files mentioned in skr pico uart setup

Cannot find files mentioned in skr pico uart setup, It seems the boot folder is empty? are these files on a different partion?

these are the instructions I cannot follow from the skr pico setup doc:
If you use UART0 to communicate with raspberry pi, you need to modify the following files by inserting the SD card into the computer or by SSH command. And wiring reference [here](https://github.com/bigtreetech/SKR-Pico/blob/master/Klipper/README.md#raspberry-pi-is-powered-by-the-motherboard-5v-and-communicates-with-skr-pico-v10-via-uart)
Remove console=serial0,115200 in /boot/cmdline.txt
Add dtoverlay=pi3-miniuart-bt at the end of file /boot/config.txt
Modify the configuration of [mcu] in printer.cfg to serial: /dev/ttyAMA0 and enable restart_method: command by SSH
[mcu]
serial: /dev/ttyAMA0
restart_method: command

Review the SKR Pico setup documentation and compare its /boot/cmdline.txt, /boot/config.txt, and printer.cfg instructions with the CB1 image layout. Verify where the referenced files are located and whether the UART configuration applies, then update the documentation so the required file locations and completed configuration are unambiguous.

Written by the indexing model from the issue text.