You don't even need to publish your port if it's GPLv3 as long as you don't publish the binary.