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