Update to 5.0.1. Fix numerous spelling mistakes in the names of OPTIONS and
PORT_OPTIONS:Mxyz checks that rendered many OPTIONS useless.

That said, most of the OPTIONS just bring in dependencies and don't do anything
to the port itself, so the port definitely still needs work.

Hopefully this should also fix the scattered build failures.