They have to navigate a gigantic 32-bit, 64-bit driver minefield and the middleware layers (dalvik VM, NDK, APIs) have to be converted. Intel apparently has done quite a bit of work for x86-64 Android, but I don't know how far along that effort is. Who knows, maybe a Me...