On the internet, I can find web pages that tell people to pass 'video=vesafb:off,efifb:off' or 'video=efifb:off' as arguments to kernel. But, I couldn't find the explanation for video=xxxfb:off in kernel documentation. I tested 'video=efifb:off'. It really turns off efi framebuffer. It should be documented.