- Run a test program using floating point under a new kernel. Verify that
gdb can read/write float registers correctly.
- Verify that the new kernel writes out the correct size core dumps and
that gdb no longer complains about '.reg2' having an unexpected size.