So, when will there be a debian installer with a newer kernel ? Anyway, even 2.6.32-11 seems a bit outdated...