Apologies for not noticing the Chinese New Year holiday, happy new year by the way!
Yes, it works, but not for all formats. Of the video formats 4032x3040@20fps, 3840x2160@30fps, 1920x1080@60fps the 4032x3040 format does not show up (using the command $ v4l2-ctl --list-formats-ext -d /dev/video0).