pl011: Convert CONFIG_PL011_SERIAL to Kconfig