Add support for more Raspberry Pi boards

This PR mainly focuses on the support for Raspberry Pi 3 in the same image as Raspberry Pi 4 (64-bit mode). It also adds more support for 32-bit boards that we can leverage in the future if needed.

Fixes: #220 (closed) Fixes: #221 (closed) Fixes: #223 (closed)