Raspberry Pi 32-bit deprecation: Update GitLab's documentation

Edited by Denis Afonso