Bring kernel up to eureka 1.4 release