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.
10 jobs for !20 with SDIO in 8 seconds (queued for 24 seconds)
detached
Status Job ID Name Coverage
  Static Analysis
passed #43177
cross
gitattributes

00:00:00

passed #43178
cross
gitignore

00:00:00

passed #43181
cross
head_log

00:00:00

passed #43184
cross
head_whitesp

00:00:00

passed #43179
cross
license

00:00:00

passed #43183
cross
makefile

00:00:00

passed #43182
cross
merge_log

00:00:01

passed #43185
cross
merge_whitesp

00:00:01

passed #43180
cross
versionnum

00:00:00

 
  Cleanup
passed #43186
cross
cleanup

00:00:00