simerr revision 11515
110798Ssteve.reinhardt@amd.comwarn: DRAM device capacity (8192 Mbytes) does not match the address range assigned (128 Mbytes) 211515Sandreas.sandberg@arm.comwarn: Sockets disabled, not accepting gdb connections 38893Ssaidi@eecs.umich.eduwarn: CP14 unimplemented crn[8], opc1[2], crm[9], opc2[4] 4