[coreboot] Dell XS11-VX8 AKA Fortuna