C: unREADONLY before booting Coro::State (special-case Coro)