Add some static asserts so we'll get a compile time failure if C and
assembly disagree on the offsets of trapframe fields.