Comment 10 for bug 1064686

Milo,
you are right, all these parameters are needed:
"make ARCH=arm O=$pkg_dir KERNELVERSION="$kernel_version" KERNELRELEASE="$kernel_version" CROSS_COMPILE="$TOOLCHAIN_PREFIX" dtbs"

Ricardo,
yes, lib/firmware/*-origen/device-tree/exynos4210-origen.dtb works just fine. (I've switch https://ci.linaro.org/jenkins/job/milo-linux-linaro-tracking_origen-exynos4/ from leb-origin back to http://snapshots.linaro.org/precise/hwpacks/origen)
See https://ci.linaro.org/jenkins/job/milo-linux-linaro-tracking_origen-exynos4/4/ .
I've started http://validation.linaro.org/lava-server/scheduler/job/36092 with the hwpack created by this "Build #4". Let's see how it goes.