One small point, when I boot I think it uses a different process for the HD4000. Because Just before it gets to the desktop it seems to stall the display, it flicks into a slightly different mode and then everything is fine.
It did not do this 'stalling and thinking' after the original install, but it started to do it after I installed the kexts from 10.9 from original post
I installed all the kexts in the 10,9 folder from page 1 except the appleintelframebuffercapri.kext because of chans guide where he said don't install it and I think he had the same K55a as me
Any ideas?
stu