ya.. to follow those exact instructions you would need to.. but you can run avalaunch with any hacked bios - x2, evox, ind, or any debug bios. Its certainly not a requirement to use that particular version.
Just FYI of course... since that bios works fine