ck_pr: First cut 32-bit ARM port.

Contributed by Olivier Houchard <cognet@freebsd>.

Signed-off-by: Samy Al Bahra <sbahra@repnop.org>