Experimental version of TNKernel-PIC32 with hardware stack overflow protection