Apologies, I just found the "No Audio Devices" thread: http://www.tonymacx86.com/threads/no-audio-devices-realtek-alc-applehda-guide.143752/#post886726
It appears to be a codec problem, as running audio_codecdetect_v1.6.command gives this result:
No audio codec detected
Verify BIOS, hardware...