I'm really happy to see this, as I love the idea of the Dell Venue Pro 11 with the detachable hinge keyboard running Gnome 3. The Bay Trail configuration currently only has 2GB of memory, though (which might be the reason that vendors aren't pushing x86_64 too hard), so I was planning on waiting until next year's low-end model anyhow. Hoping I'll be able to jury-rig Manjaro on one of those by late 2014 -- whether next year's uses 64-bit UEFI or 32-bit UEFI support matures.
No announcement yet.
32-bit UEFI Support Proposed For Ubuntu Linux