Did you disable the hd4000 in your bios?

If not, you should.