Is he using the external sound device? like USB DAC
In that case, the problem may arise.
As far as i know, only the built-in sound chipset guarantees normal operation. (like realtek sound chipsets..)
Of course, only the built-in sound analog output will be. (back panel sound output or front panel sound output)