change to picolibc on keithp.com

keithp
Thu, 21 May 2020 14:15:14 -0700

Changed pages: picolibc
Changed by: keithp
Commit type: git
Date: 14:15:14 05/21/20

Update picolibc info for 1.4.2