sh: Fix board name in MS7720SE's config.mk