Comment # 31 on bug 1204315 from Guillaume GARDET

(In reply to Michal Suchanek from comment #30)
> (In reply to Thomas Zimmermann from comment #29)
> > (In reply to Michal Suchanek from comment #28)
> > > I think it should not be disabled.
> > > 
> > > Since ARM has support for both EFI and DT the framebuffer can be configured
> > > by one or the other.
> > 
> > Are there ARM systems with *real* EFI? Because RPi's EFI framebuffer comes
> > from DT and working around that with code only makes sense if there are
> > non-DT ARM systems.
> 
> What is *real* EFI?
> 
> rPi has EFI because u-boot implements some EFI interfaces. This is the case
> for many small ARM systems.
> 
> ARM server systems would typically come with different firmware with more
> complete EFI implementation similar to what you would see on x86.

Yes, all Arm server systems have "real" EFI: AWS A1/M6g, Thunder X1/X2, Ampere
eMag/Altra, SolidRun HoneyComb LX2K, etc.