It worked without having to boot with arch=x86 or -x32, but I was having other problems so I'm just not gonna worry about it. I never use my DVD drive anyway.