Re: PATCH : VGA_ioport_in and vertical refresh