base: extra section for binaries of boot modules

This enables us to map the binaries of the boot modules on demand at least in
base-hw.

ref #1139
hw: map binaries of boot modules on demand

fix #1139