echo 'WARNING: Do not source build.config.arm.
    Instead, set kernel_build.make_goals.' >&2

MAKE_GOALS="
zImage
modules
"