[PATCH] x86-64: Share identical video.S between i386 and x86-64