I was wondering if I could get a clarification on one of the possible causes for the "starting kernel ..." system hang.
It looks like a lot of people see this problem due to a mismatch between the machine ID seen by the kernel and u-boot. Is that issue still relevant with newer kernels (I am using 3.14) and the device tree?
for instance in u-boot am335x_evm.h has:
#define MACH_TYPE_TIAM335EVM 3589
but linux has no matching entry for 3589 in: arch/arm/tool/mach-types
Is the machine/kernel linkage now purely in u-boot's bootargs and the device tree 'compatible' fields or does machine ID still play a part?