HTC JellyBean Kernel for AOPS 4.2