With the 5.3.18-4.g95d2d5c-default kernel I do have sound after booting. Took a few retries but finally got the codec.