Renamed PortK5 to PK5 and renamed PortK4 to PK4 to conserve space and to match the port usage spreadsheet included with the firmware.