his second hope is in case he did a OTP/SEEPROM dump while being in an old firmware version, and kept these files! in that case, he can install haxchi by connecting a WiiU formatted HDD to his computer. I don't have a lot of hope that he did, or have these files. looks like very few people dumped these data. I don't remember if hacking guide ever told the users to do it. It could be added.