I’ve had this happen a couple of times now when testing kernels. When the kernel is starting you get an error like “Error: unrecognized/unsupported machine ID (r1 = 0×0000034e)”. The reason you get an error is because the bootloader is supposed to pass the MACH_TYPE to the kernel, and if it doesn’t match what the kernel was compiled with then the kernel won’t start. This time I knew what was going on, but I didn’t remember where the ID was defined. So I did a few fgreps for 34e, with no luck. This is because MACH_TYPE is defined in decimal not hex. Once you figure out to look in include/asm-arm/mach-types.h everything makes sense.
