- update ARM boards to use constants from mach-types.h
add support for USB-based console (enable with "setenv stdout usbtty; setenv stdin usbtty")