> Thing is, GPL requires you to explicitly allow that behavior, so HBC can't use GPL software.
Couldn't, not at the time. HBC has been open-sourced some time ago, sans DRM, as the Wii has long lost commercial relevance beyond enthusiast communities. This open-source re-release is what the repository is.