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.
11 jobs for !20 with SDIO in 9 seconds (queued for 27 seconds)
detached
Status Job ID Name Coverage
  Static Analysis
passed #77938
cross
copyright

00:00:00

passed #77929
cross
gitattributes

00:00:00

passed #77930
cross
gitignore

00:00:00

passed #77933
cross
head_log

00:00:00

passed #77936
cross
head_whitesp

00:00:00

passed #77931
cross
license

00:00:00

passed #77935
cross
makefile

00:00:00

passed #77934
cross
merge_log

00:00:01

passed #77937
cross
merge_whitesp

00:00:01

passed #77932
cross
versionnum

00:00:00

 
  Cleanup
passed #77939
cross
cleanup

00:00:00