Editing: arm_sdei.h

BATAL