On Fri, 13 Oct 2017, at 14:17, Michael Ellerman wrote: > ... and has recently employed some > high-profile kernel personalities. > Oh! You're moving? ;-) -c