[coreboot] the seabios reboot in the post process