On Mon, Apr 29, 2019 at 18:25:54 +0200, Andrea Bolognani wrote:
Signed-off-by: Andrea Bolognani <abologna(a)redhat.com>
---
The changes in the .args file seem entirely justified by the fact
that those for aarch64-virt-headless and aarch64-virt-graphics use
the new command line option too.
ACK