[crux-commits] ports/core (3.5): ports: update for CRUX 3.5