Re: [coreboot] the seabios reboot in the post process