Headless Pi boot failure

There was a workaround to this provided yesterday (17 Aug):

BTW, it worked for me. (I noticed the reference to DRM in the workaround.)

Can you provide a link to this?