strange that a different ticket was the culprit. did you look at that ticket in hex to see if a fake ticket existed? I guess you only need that one game though.
yes, but that's not needed. haxchi is its own cfw, so you can change default to default=sysmenu unless you're needing mocha for redNAND or something.