Add GNU properties note for Intel CET in x86_64-xlate.pl