CONFIG_GICV2=y
CONFIG_SBSA_UART=y
