Update defpatch forms for loop for-as-in-sequence

rfr12720: Forgot to update the defpatch forms to turn
the loop changes into a real patch.

Change-Id: I446be5f0affd48e8766670e5534a7af9be5da2c2