golfu: updated kernel