Unfortunately, no sound. Here is the dmesg output after boot, didn't see any mention of rt5640, though.