Default [Q] [GT-I9001][CM11][RELEASE 8]Installing kernel 20140625

Hello,

I'm using this ROM, very happy with it.
It says in the TS that kernel 20140622 is included in the ROM, but 20140625 is newer and better (more free RAM). How do I install that kernel?