darkclever or naazgulla,
I was wondering if you had ever managed to get this resolved for the HD4000? I have pretty much the exact same problem on a Surface Pro in using the 04 id-platform-id. I have also tried AppleIntelFrameBufferCapri edits for the ports and different EDIDs. The surface pro uses a Samsung monitor so that might be something the two devices have in common.
Thanks.