Possible missing of GPPUD control signal removal

[foxhoundsk]

Per the following procedure, one should write to GPPUD to remove the control signal:

raspberry-pi-os/docs/lesson01/rpi-os.md

Line 345 in 31fc148

5. Write to GPPUD to remove the control signal

However, there has only the following operation at the epilogue:

raspberry-pi-os/docs/lesson01/rpi-os.md

Line 356 in 31fc148

put32(GPPUDCLK0,0);

Do we need to add put32(GPPUD,0); at the epilogue to remove the control signal?

[seusher]

Technically the docs say that this needs to be done, but because the code doesn't rely on pull-up or pull-down, it already sets GPPUD to 00, which represents Off – disable pull-up/down, so there isn't any need to update the value again.