Make mksdcard work with 32GB cards.