[coreboot-gerrit] Change in coreboot[master]: cpu/intel/*/*_init: use mca_get_bank_count()