Thank you @brousseau6933 . According to that issue, I see the suggestion would be, as you said, to use the headless framebuffer. I tried with both "0300C59B" and the recommended "0300C89B" by WhateverGreen and OpenCore guide, there was no difference.
I am not sure if this is due to some other...