[Bug 1192809] [RPi4] tc358743-based HDMI input does not work with kernel-default; works with kernel from raspberry foundation