Re: drm/vc4: module dysfunctional on Raspberry Pi 3B as of 5.18.0