Hardcode Haswell rbc_event encoding, and assert that it matches the IvyBridge encoding.