/* for TI reference platforms sharing the same debug card */
extern int debug_card_init(u32 addr, unsigned gpio);