[U-Boot] question regarding the odroidc2 board support