They did not come (directly) out of Intel Labs. They left because they were working on a moonshot project that lost corporate support. Just like Ampere computing, just a few years later.