misc/box2d: Update the port because the repository was renamed
PR: 247962 Submitted by: lwhsu (original version)