Update documentation on running AutoSD on a raspberry pi4

Now that the SIG is publishing images for the rpi4, we no longer need to rely on the CentOS Linux 8 images that we then upgrade to CentOS-stream 8.

Signed-off-by: Pierre-Yves Chibon pingou@pingoured.fr