Hi Jonathan - we haven't tested with 4.2 but the changes between the 4.1.x release we used and 4.2 are pretty minimal, so you
should be ok. Let us know how it goes and if you have any questions. Also, when you get the ROM built, let us know and we will add it to our list of ROMs in the wiki so others can find it easily.