HOPKINS: Simplify Copy_vga16, get rid of unsafe uint16 casts