Hey toleda,
Many thanks for this fantastic guide to troubleshoot and for sure the drivers, fixed by problem.
For others with the same issue:
GA-Z87X-UD4H board, 10.9.4 update, and I had "No audio devices" suddenly. I went through the guide pretty far and everything had been done correctly, the...