As suggested in the community discussion it seems that fixing the core wouldnt be very difficult at all - but like you i'm also currently unfamiliar with IPv6 so I dont know if anything else would need fixing. I do, however, have the pleasure of needing to investigate IPv6 for my CCNA so I might be able to put some more useful input in shortly.
Failing that if the board user has got it up and running with only those fixes then I suppose they must be the only requirements?