continue…

Related to DG59: Coreboot