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
hw: align kernel stack appropriately

fix #1161
hw & rpi: provide Pic::MAX_INTERRUPT_ID

fix #1160
base & exynos5: platform driver in affinity test

Ensures that the Exynos5 CPU is clocked equally no matter how the kernel
initialized it. This makes the result of this time critical test more
comparable.

fix #1162