A trivial addition to the ELF definitions. From: Jan Beulich (actual patch attached)