Re: [PATCH] hw/misc: deprecate the 'sga' device