Do/should we install x86_64 kernel on i386 now?