Add @EddGruberman's patch to fix nether portals when the nether is disabled.