Re: missing kernel-default-{extra, optional} after upgrade from 15.2 to 15.3