[IPv4] Tidy up some header files.