It did not work. However, I am making progress pursuing a different route.
I flashed it back to stock kernel, uninstalled hakchi2 via 2.12rc3, downloaded 2.11, and installed the custom kernel there. No boot loop! Installed a NES game on 2.11, worked out fine.
Went back to 2.12rc3. Installed the...