When signing OP-TEE pager and pageable binaries, the information written to the BinaryType field of the STM32 header (byte 255), unless I have wrong view about semantics (teex->pager, teed->pageable) and typical values (pager->0x21, pageable->0x22), ...