add user_{fp,}regs_struct to kernel_abi.h
use rr-defined user_regs_struct as basis for Registers

This change ensures that user_regs_struct is defined exactly like the
kernel expects; otherwise, numerous test failures would ensue.  As a
bonus fix, the format strings for dumping register contents must also be
changed to reflect the portable definition of user_regs_struct.