This pair of commits costs around 300 bytes overall, in network-using
configurations.
Signed-off-by: Alessandro Rubini <rubini@gnudd.com>