любая сборка семерки, официальная или нет, умеет форматить диски.
просто невнимательно смотришь.