On Fri, 2017-02-24 at 15:56 +1030, Joel Stanley wrote: > > + dt_add_property(np, "aspeed,must-init-vga", NULL, 0); > > The kernel doesn't use that one. I assume it will be used in the > future? Nah, we realized we don't need it. Cheers, Ben.