[coreboot-gerrit] Change in coreboot[master]: HACK trogdor: prevent system from building bl31 HACK