(excuse my general ignorance wrt to pi hw )
i read that
* Adjust config.txt for the 32bit versions. For console HDMI support. (The firmware framebuffer is pretty much useless anymore, this is a workaround to use the builtin kernel simple-fb)
i ask hear in case any one more knowledgeable finds the time to provide more depth / insight ?
as there was only one page of results searching the forum for "firmware framebuffer "
nothing seamed particularity relevant ....