change to picolibc on keithp.com

keithp
Sun, 25 Oct 2020 22:30:11 -0700

Changed pages: picolibc
Changed by: keithp
Commit type: git
Date: 22:30:11 10/25/20

Increase section header sizes for picolibc