The only solution to a bricked DS is to swap BIOS and reflash firmware, and this can't be done if something else has broken too.
Brickers are hardly an issue anymore; I don't think there has been a case reported for a long time.
Do your research! He could always use PPFlash utility. get it off darkfaders site.