Re: [PATCH 1/7] vgaarb: remove VGA_DEFAULT_DEVICE