# CONFIG_SERIAL_AMBA_PL010 is not set