elfload: fix size of ABI-dependent fields in core dumps