Re: [PATCH] vgaarb: Rework default VGA device selection