... It probably would be a file with a specific name and file type. So maybe the card could have a corruption check or something in case its not a .nds file. Anyways that wouldn't be so funny .... you just lost $25+ Either way the M3 team probably has a way to stop this or they might have some problems with people hosting the kernal files on other sites.
If they don't have a fix to this then they really didn't think ahead did they? Oh and what idiot would do that Fatboy. It is obvious you should only dl from a trusted site ... or from a really trusted member of gbatemp.