Patches for seandroid 4.2 Git build

[Tai Nguyen (tainguye)]

Hi,

I want to generate SEAndroid 4.2 patches for Jelly Bean. I did a format-patch 
between branch bitbucket/seandroid-4.2 and bitbucket/jb-release for build git 
and it generates 535 patch files. That seems to be too many patches. Do I use 
the right branches? If not, what are the branches I should use?

Thanks,
Tai