hikey: Fix serial console for kernel 4.1
am: 510fa77059

Change-Id: Idf599b38bdf44f54dd18d50336c534d4fffff189
diff --git a/BoardConfig.mk b/BoardConfig.mk
index c63226a..3dfc149 100644
--- a/BoardConfig.mk
+++ b/BoardConfig.mk
@@ -30,7 +30,11 @@
 BOARD_HOSTAPD_DRIVER := NL80211
 CONFIG_DRIVER_NL80211 := y
 
+ifeq ($(TARGET_KERNEL_USE_4_1), true)
+BOARD_KERNEL_CMDLINE := console=ttyAMA3,115200 androidboot.console=ttyAMA3 androidboot.hardware=hikey firmware_class.path=/system/etc/firmware efi=noruntime
+else
 BOARD_KERNEL_CMDLINE := console=ttyFIQ0 androidboot.console=ttyFIQ0 androidboot.hardware=hikey firmware_class.path=/system/etc/firmware efi=noruntime
+endif
 
 TARGET_NO_BOOTLOADER := true
 TARGET_NO_KERNEL := false