Re: [coreboot] Does the Intel 3100 reboot?