# CONFIG_AMBA_PL08X is not set