[README](https://github.com/raspberrypi/firmware/blob/master/boot/overlays/README) points to a utility `vcdbg` that is no longer shipped with Raspberry OS. The readme should be updated to reflect how to carry out debug in modern Rasperry OS.