https://www.netbsd.org/~christos/ptrace32.diff
looks good to me, however the function should be called something like
cpu_mcontext32from64_validate, to make it clear that it's just
cpu_mcontext32_validate with a 64bit structure
and in process_write_regs(), add {}s in the else too