[vm] Updated designdoc. Moved locks up in frame_alloc