Merge "Rename BufferRole.frequency -> probability -- HAL." into sc-dev