2: make portlint happy. PR: ports/80746 Submitted by: chinsan <chinsan@mail2000.com.tw>
Submitted by: chinsan <chinsan@mail2000.com.tw>