To add to the above: shutting down the laptop and then starting from there in Ubuntu, as suggested in one of the workarounds above, actually made the sound work
To add to the above: shutting down the laptop and then starting from there in Ubuntu, as suggested in one of the workarounds above, actually made the sound work