Re: [PATCH] hw/misc/sga: Remove the deprecated "sga" device