Re: [coreboot] why is firmware 32 bit as opposed to 64 bit