gdm / gnome-shell segfaults on Raspberry Pi 3B+