change to index picolibc on keithp.com

keithp
Thu, 17 Oct 2019 14:37:48 -0700

Changed pages: index picolibc
Changed by: keithp
Commit type: git
Date: 14:37:48 10/17/19

refer to picolibc from index