add suport for arch_prctl in the driver (just detection, no decoding)