echo 'WARNING: Do not source build.config.arm.
Instead, set kernel_build.make_goals.' >&2
MAKE_GOALS="
zImage
modules
"