bbb: hdmi works again

Signed-off-by: Robert Nelson <robertcnelson@gmail.com>
cleanUp: no changes

Signed-off-by: Robert Nelson <robertcnelson@gmail.com>