Re: [coreboot] patch: simple fixes in arch