Yes, it is documented in GBATEK and libnds, but that doesn't mean it is actually supposed to be there. If you dig a little deeper(can't help you there), you'll see that it's not supposed to exist/work.
I really don't know what do you mean here. If you have some info about IRQ7 not working on a DS (or on a 3DS) or not being triggered by SIO/RTC ... please share them with us. Thanks.