Re: [PATCH v9 00/11] vgaarb: Rework default VGA device selection