Thanks for the explanations and the link. As I wrote it works out of the box when doing a
*non* UEFI install. My question, however, is about an installation that uses the RPI UEFI
firmware. I tried things like enabling devicetree in the UEFI menu and also what's
described in the Peter's link [1], but to no avail.
Has anybody managed to get the vc4 stuff working with an UEFI install?
Eberhard