header: add ether_addr_to_u64() and u64_to_ether_addr()