This bug was fixed in the package debian-installer - 20101020ubuntu228
--------------- debian-installer (20101020ubuntu228) raring; urgency=low
* Move master kernels to 3.8.0-17 (LP: #1166103). -- Colin Watson <email address hidden> Mon, 08 Apr 2013 10:59:57 +0100
This bug was fixed in the package debian-installer - 20101020ubuntu228
---------------
debian-installer (20101020ubuntu228) raring; urgency=low
* Move master kernels to 3.8.0-17 (LP: #1166103).
-- Colin Watson <email address hidden> Mon, 08 Apr 2013 10:59:57 +0100