Spotted by Andrea: we need the barriers in there to prevent reads passing
ahead of the setting of current->state.