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