Documentation: Replace dead link for binfmt_misc

Patch by Thomas Schwinge.