[coreboot-gerrit] Change in coreboot[master]: soc/intel/denverton_ns/uart_debug: include header for uart_platform_base