Merge remote-tracking branch 'remotes/stsquad/tags/pull-softfloat-headers-190819...