Re: [coreboot] [PATCH] Drop cpu/x86/fpu/{Config.lb,Makefile.inc}