Ohhh, wait, now that I think about it, playing GBA games on the DSi is actually emulation as the device doesn't have hardware to run DS games, isn't it? I'm guessing the CPU timings aren't emulated correctly and I have to fix the IVs by using the ones from method 1 that came up on RNG Reporter. It would seem like PKHeX is correct on that.