[PATCH 18/20] Convert CONFIG_PL011_SERIAL et al to Kconfig