Искаженный звук по hdmi после ребута без кабеля

Ubuntu 13.10, Intel HDA, ноутбук, холст, масло. Если система загружается без внешнего дисплея, то при подключении к оному по hdmi звук идет с искаженным тембром (писклявый и в некоторых приложениях заикается). Если перезагрузить с внешним дисплеем, то все хорошо, даже при включении/отключении кабеля. Искаженный звук не лечится перезапуском пульсы, проявляется во всех приложениях. При этом системный апплет предлагает выбор для выхода hdmi - стерео или 5.1, в то время как при загрузке с дисплеем опции нет. Было ли такое на чистой системе или я что-то поломал, история умалчивает.