Thanks so much for that commit. The system boots up and has a very brief moment of display corruption before it switches to inteldrm(4) and works perfectly. This works on both my 2013 MacBook Air (Haswell HD 5000 graphics)) and 2015 MacBook Air (Broadwell HD 6000 graphics). I haven't had a chance to test the 12-inch Retina MacBook or any other system yet but should be able to test some more in a few days. The only problem I have found so far now is that xbacklight does not seem to work on the Broadwell system although it works fine on the Haswell one. Thanks again! I am really happy to be able to finally use a Mac system with OpenBSD, efiboot, and inteldrm(4)!
Bryan
