Using u16 for cfg_rcw_src and u8 for sd1refclk_sel is enough.
Signed-off-by: Gong Qianyu <Qianyu.Gong@nxp.com>
Reviewed-by: York Sun <york.sun@nxp.com>
 
 int checkboard(void)
 {
-       static const char *freq[3] = {"100.00MHZ", "156.25MHZ"};
+       static const char *freq[2] = {"100.00MHZ", "156.25MHZ"};
 #ifndef CONFIG_SD_BOOT
        u8 cfg_rcw_src1, cfg_rcw_src2;
-       u32 cfg_rcw_src;
+       u16 cfg_rcw_src;
 #endif
-       u32 sd1refclk_sel;
+       u8 sd1refclk_sel;
 
        printf("Board: LS1043ARDB, boot from ");