hp磁盘格式化工具，用于Devkit8000开发板SD卡的格式化。