I did say they're working on M4 bringup, which means it doesn't boot yet, yes. I don't see how that means they're "dead" though. Or that they'll never catch up ever. In fact, the very recent progress in this area suggests the exact opposite.