[U-Boot] having trouble booting a simple kernel on a TQM860 board