I just tested the setup with an older image 2.12 that I updated, updated the kernel and activated the Cirrus card. It worked after a reboot. If you are experiencing difficulties, please share your error messages and the steps you took. Also a quick fix would be to try and select none in the sound card option, reboot and select the Cirrus card again. Also make sure you have selected the correct output.