Just updated my x86_64 Fedora 17 system to kernel 3.5 – just released – and so far, all is working OK.    This is compatible with the latest NVIDIA drivers (304.22) and VMware 8.0.4 (patched)..

Next step – to try (again) to update the Dreamplug (ARM), which for some reason wouldn’t boot any of the 3.5-rc versions..