dpif-linux: Use get_32aligned_u64() in an appropriate place.