CONFIG_ARM64=y
CONFIG_ARCH_VEXPRESS=y
CONFIG_SERIAL_AMBA_PL011=y
CONFIG_SERIAL_AMBA_PL011_CONSOLE=y