Only check EF_xxx flags if the EABI version number is unknown.