Support should be added for the ISIS-OBC and so that U-boot can be used together with the MIST OBCSW.