Update for the PRUNE and PRUNE+ENERGY kernels