Unlike Raspbery Pi, we wrote the coldcard bootloader, it's fully verifiable. I recommend reading the code in addition to docs. https://github.com/coldcard/firmware
Discussion
The entire problem is that the bootloader has to be trusted with attesting what it is.