Re: [coreboot] What is the purpose of hard_reset function?