[Firmware] debian xorg