plat_support_serial_kbd_and_ms
extern int plat_support_serial_kbd_and_ms(void);
if (!plat_support_serial_kbd_and_ms())