a) Fixed problem with incomplete installation of stdin/stdout console devices. b) Rearranged/cleaned up some of the fastboot code.
cpu/x86/pc/olpc/fw.bth
ofw/core/ofwcore.fth