Lose some unused space to keep the HAL under 64K

Recent commits resulted in the HAL growing to just over 64K. To avoid needing
to change the space allocation for the HAL, reclaim some of the space
reserved for workspace during the pre-MMU-activation stage of booting.
8 jobs for SDIO in 7 seconds (queued for 5 seconds)
Status Job ID Name Coverage
  Static Analysis
passed #43169
cross
gitattributes

00:00:01

passed #43170
cross
gitignore

00:00:00

passed #43173
cross
head_log

00:00:00

passed #43175
cross
head_whitesp

00:00:00

passed #43171
cross
license

00:00:00

passed #43174
cross
makefile

00:00:00

passed #43172
cross
versionnum

00:00:00

 
  Cleanup
passed #43176
cross
cleanup

00:00:00