[coreboot] Re: Guidelines for using die()