Re: [coreboot] [patch] hard_reset() for 6300esb