F16: kernel 3.4.2 and virtualization problems