CONFIG_ARM64=y
CONFIG_ARCH_VEXPRESS=y
CONFIG_AEABI=y
CONFIG_NET_VENDOR_SMSC=y
CONFIG_SMC91X=y
CONFIG_SERIAL_AMBA_PL011=y
CONFIG_SERIAL_AMBA_PL011_CONSOLE=y
