Last night's omap4430-sdp randconfig failed with this error in the KVM code: arch/arm/kvm/reset.c:43:2: error: unknown field 'irq' specified in initializer Configs etc at http://www.arm.linux.org.uk/developer/build/ Tree is my tip plus arm-soc tip plus Linus' tip.