Oh yeah, I got the CIA version to run, but it's not very reliable. Not sure what went wrong, but it broke my emunand. I was able to restore it but hmm...
Also, no idea how to get the banner audio working. Might just be the cmake script I'm using or my version of bannertool might be broken...