Merge "Update FLP HAL definition for thread semantics."