[coreboot-gerrit] Patch merged into coreboot/master: 76c2561 hp/pavilion_m6_1035dx: select NO_UART_ON_SUPERIO in Kconfig