linux: change external display brightness via software (connected via displayport)