[PATCH v2 0/2] video: A couple of fixes for the vga16fb driver