ARM build fix #2

This is a dumb way to fix this, but it does work. I can try to figure out something better, if this is too much of a hack.

Previous error was that pt_regs wasn't defined.