Hi Fred,
I've found some bugs in the parallella-hw project.
In parallella_7020_hdmi:
XPS > Clock Generation > PL Fabric Clocks > FCLK_CLK1 is set to 152.
I changed it to 125.
In parallella_7010_hdmi, parallella_7020_hdmi:
XPS > Bus Interfaces > clock_generator_0 > (right click) > Configure IP > CLKIN: Input Clock Frequency: 0 (changed to 100000000)
CLKOUT0: Required Frequency: 0 (changed to 12288135)
After changing these parameters, I generated the bitstream, and I've got HDMI sound working!! Yay!!
(I tested with parallella_7020_hdmi.)