socsvn - Revision 337283: /soc2012/syuu/bhyve-bios/sys/boot/arm/ixp425