Do/should we install x86_64 kernel on i386 now?

[sean darcy <seandarcy2 gmail com>]

As I understand it F11 will install by default the x86_64 kernel on a 64 
 bit machine even if the  rest of the install in 386/586. So should we 
grab the 64 kernel from the 64 repo and install it now?  Is the 64 
kernel going to be in the 386 repo?

sean