Advice for "crossgrading" from 32 bit F11 to x64 ?