Fixing prefetches in coroutines code for 64 bit systems