[coreboot-gerrit] [XS] Change in coreboot[main]: mb/asrock/fatal1ty_z87_professional: List another USB debug port