@Paul, there will be new debian-installer builds with SRU kernels generated in the lead-up to the 12.04.1 release, which would include this fix if and when it gets in.
@Paul, there will be new debian-installer builds with SRU kernels generated in the lead-up to the 12.04.1 release, which would include this fix if and when it gets in.