pl01x: Convert CONFIG_PL01X_SERIAL to Kconfig