Re: [coreboot] [PATCH] Major cleanups of hard_reset() related code/config