My understanding is that support for HDMI on the BeagleBone Black requires 11-CURRENT. Is there any plan to bring this support into 10-STABLE? (I'm running 10-STABLE and would like to just attach a keyboard and monitor, rather than a whole 'nother computer connected via the FTDI cable.)