[coreboot] Free coreboot training! - and how you can help it