The Porter board currently has a problem that pulseaudio can not be used due to the sound driver.
I enabled USB Audio as a workaround, but we had to manually change the default sound device.
As a further workaround, disable the SoC sound driver on the Porter board.