OLPC trac #4397 - Reboot using the new EC command that reset the EC too, thus re-enabling indexed I/O, thus making auto-firmware-update possible.
cpu/x86/pc/olpc/security.fth
dev/olpc/kb3700/ecio.fth