I can confirm that linux-image-4.13.0-25-generic_4.13.0-25.29~lp1742721_amd64.deb and linux-image-extra-4.13.0-25-generic_4.13.0-25.29~lp1742721_amd64.deb boot up fine.
Many thanks!
I can confirm that linux-image- 4.13.0- 25-generic_ 4.13.0- 25.29~lp1742721 _amd64. deb and linux-image- extra-4. 13.0-25- generic_ 4.13.0- 25.29~lp1742721 _amd64. deb boot up fine.
Many thanks!