maybe_download_ramdisk
void maybe_download_ramdisk(int argc, CHAR16 **argv);
maybe_download_ramdisk(argc, argv);