[coreboot] Patch merged into coreboot/master: f9db41b buildsystem: Make CPU microcode updating more configurable