Thanks for the suggestion, Grigory. For anyone else interested, here's
what I ended up doing to build the kernel for the release-1.0 branch:
# get the release-1.0 source
$ mkdir android_release-1.0
$ cd android_release-1.0
$ repo init -u git://
android.git.kernel.org/platform/manifest.git -b
release-1.0
$ repo sync
# build Android system including emulator (doesn't build the kernel)
$ . build/envsetup.sh
$ lunch 1
$ make
# get the kernel config from the emulator using the prebuilt kernel
$ out/host/linux-x86/bin/emulator -kernel prebuilt/android-arm/kernel/
kernel-qemu -system out/target/product/generic/ &
$ out/host/linux-x86/bin/adb pull /proc/config.gz kernel/
# kill the running emulator
# make the kernel
$ cd kernel
$ gunzip config.gz
$ mv config .config
$ export ARCH=arm
$ export CROSS_COMPILE=arm-eabi-
$ make
# run the emulator using the newly built kernel
$ cd ..
$ out/host/linux-x86/bin/emulator -kernel kernel/arch/arm/boot/zImage -
system out/target/product/generic/ &