fix articles about coreboot