The fix for this has been pushed, so HifiBerry will work out of the box. If you are having problems updating your kernel, see Rpi3 apt-get dist-upgrade fails (temporary error, fixed with new kernel)
Sam
2 Likes