Add missing <machine/elf.h> for compound arches.

The spice^Wkernel must flow^Wbuild.