Re: [coreboot] bios for ATOM E38XX