Efficient and Secure Conversion Between mdisk Image Formats for Embedded Systems