[coreboot-gerrit] Change in coreboot[master]: security/intel/txt: use mca_get_bank_count()