[tde-users] Re: TDE display control messes up colors on RPi with full KMS driver