[coreboot-gerrit] Change in coreboot[master]: mb/hp/8770w/Kconfig: Drop INTEL_INT15