The codec on the other board seems to still be dead, but I now have input working on this one (same interface in the end, it's all HD-Audio). It's not a very useful USB soundcard at mono 48kHz, but it sounds not too bad.