tools: optional prefix for random_ether_addr