Re: [coreboot] [PATCH] Technexion Tim-5690 mainboard