ARM kernel 67th