My cpu is 32-bit, not 64-bit, but I added that vanilla kernel repo and installed kernel-vanilla. There was no change in behavior -- screen corruption with boot to desktop.