Hey toleda,
problem is as follows but first the specs:
z77ds3h, bios f9, i7 3770k, hd4000
Today i updated to 10.10.1 and couldnt boot. Found out that it is dsdt/igpu related. If my dsdt is removed, i can boot normally, obviously without hdmi audio. So i tried to enable hdmi audio with clover...