Re: [coreboot] M.Sc. thesis on x86 firmware alternatives