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

MAKE_GOALS="
bzImage
modules
"