# Rename Raspberry Pi ethernet interfaces to port eth*,b8:27:eb:*,port