[coreboot] Guidelines for using die()