I can't remember where to get this, the patched whatever green kext does solve the login delay for me (attached)
For the HDMI, there is no screen out to external mon (HDMI OUT not work), my laptop is 15" so if in 1080 resolution, the fonts size hurts my eyes, scaled screen makes font all blurry...