Below is a patch that does what I want for one of the points I
mentioned. Comments? Does this interfere with a different use case?
I'd say that change is reasonable. Care to push it to
review.coreboot.org or should somebody else (e.g. I) take over?
Patrick
Google Germany GmbH, ABC-Str. 19, 20354 Hamburg
Registergericht und -nummer: Hamburg, HRB 86891, Sitz der Gesellschaft: Hamburg
Geschäftsführer: Paul Manicle, Halimah DeLaine Prado