Just leaving this here since I don't have the device. Had a user on #android-root who was having an issue with the device not wanting to boot after the OTA. Here is the stock kernel with SELINUX enforcement turned off:
XDA Developers was founded by developers, for developers. It is now a valuable resource for people who want to make the most of their mobile devices, from customizing the look and feel to adding new functionality. Are you a developer?