Arduino due - 32 bits ?

What happened to the Due? Any release date yet?