For some devices (especially laptops), if your device reboots when you plug the HDMI into the HDMI port, you'll likely need to add and/or change the "pipe" values in the framebuffer connector. The same theory applies to all video ports (including DP, mDP, DVI, and/or VGA). Although it is not fully understood what the meaning of pipe value is, but various other connectors use 12
instead of 09
(in the unmodified kext) and it has been found that changing the pipe to 12
can fix the reboot problem. To change the pipe value, simply match the framebuffer and add/change the pipe value using the following WhateverGreen Property.