updated kernel 01-20-13