Re: kernel-4.13-rc0 question