Kernel headers missing for kernel 3.5.0 in Ubuntu 12.04

[B&M]

Since Unbunt 12.04 was upgraded with kernel 3.5.0, the linux-headers for 3.5 are missing in the default repositories.
You can still see linux-headers-3.2.0-*-generic packages, but no 3.5 yet.

This is blocking for Virtualbox installation for instance, that need the headers to build the modules.
---
AlsaVersion: Advanced Linux Sound Architecture Driver Version 1.0.25.
ApportVersion: 2.0.1-0ubuntu11
Architecture: i386
AudioDevicesInUse:
 USER PID ACCESS COMMAND
 /dev/snd/controlC1: olivier 1871 F.... pulseaudio
 /dev/snd/controlC0: olivier 1871 F.... pulseaudio
CRDA: Error: command ['iw', 'reg', 'get'] failed with exit code 1: nl80211 not found.
Card0.Amixer.info:
 Card hw:0 'Intel'/'HDA Intel at 0xf5100000 irq 46'
   Mixer name : 'Realtek ALC889A'
   Components : 'HDA:10ec0885,1458a002,00100101'
   Controls : 52
   Simple ctrls : 24
Card1.Amixer.info:
 Card hw:1 'HDMI'/'HDA ATI HDMI at 0xf1010000 irq 47'
   Mixer name : 'ATI R6xx HDMI'
   Components : 'HDA:1002aa01,00aa0100,00100100'
   Controls : 6
   Simple ctrls : 1
Card1.Amixer.values:
 Simple mixer control 'IEC958',0
   Capabilities: pswitch pswitch-joined penum
   Playback channels: Mono
   Mono: Playback [on]
DistroRelease: Ubuntu 12.04
HibernationDevice: RESUME=UUID=0932109e-e21e-498a-86e8-1299332a6e0f
InstallationMedia: Ubuntu 12.04 LTS "Precise Pangolin" - Release i386 (20120423)
IwConfig:
 lo no wireless extensions.

 eth0 no wireless extensions.
MachineType: Gigabyte Technology Co., Ltd. G33M-S2
Package: linux (not installed)
ProcEnviron:
 TERM=xterm
 PATH=(custom, no user)
 LANG=fr_FR.UTF-8
 SHELL=/bin/bash
ProcFB: 0 radeondrmfb
ProcKernelCmdLine: BOOT_IMAGE=/boot/vmlinuz-3.5.0-3-generic root=UUID=b04613d6-5272-4e1b-97ec-ddf11bddf0b9 ro quiet splash vt.handoff=7
ProcVersionSignature: Ubuntu 3.5.0-3.3-generic 3.5.0-rc5
RelatedPackageVersions:
 linux-restricted-modules-3.5.0-3-generic N/A
 linux-backports-modules-3.5.0-3-generic N/A
 linux-firmware 1.79
RfKill:

Tags: precise
Uname: Linux 3.5.0-3-generic i686
UpgradeStatus: No upgrade log present (probably fresh install)
UserGroups: adm cdrom dip lpadmin plugdev sambashare sudo
dmi.bios.date: 07/31/2009
dmi.bios.vendor: Award Software International, Inc.
dmi.bios.version: F7K
dmi.board.name: G33M-S2
dmi.board.vendor: Gigabyte Technology Co., Ltd.
dmi.chassis.type: 3
dmi.chassis.vendor: Gigabyte Technology Co., Ltd.
dmi.modalias: dmi:bvnAwardSoftwareInternational,Inc.:bvrF7K:bd07/31/2009:svnGigabyteTechnologyCo.,Ltd.:pnG33M-S2:pvr:rvnGigabyteTechnologyCo.,Ltd.:rnG33M-S2:rvr:cvnGigabyteTechnologyCo.,Ltd.:ct3:cvr:
dmi.product.name: G33M-S2
dmi.sys.vendor: Gigabyte Technology Co., Ltd.

[Ubuntu Foundations Team Bug Bot (crichton)]

Thank you for taking the time to report this bug and helping to make Ubuntu better. It seems that your bug report is not filed about a specific source package though, rather it is just filed against Ubuntu in general. It is important that bug reports be filed about source packages so that people interested in the package can find the bugs about it. You can find some hints about determining what package your bug might be about at https://wiki.ubuntu.com/Bugs/FindRightPackage. You might also ask for help in the #ubuntu-bugs irc channel on Freenode.

To change the source package that this bug is filed about visit https://bugs.launchpad.net/ubuntu/+bug/1027459/+editstatus and add the package name in the text box next to the word Package.

[This is an automated message. I apologize if it reached you inappropriately; please just reply to this message indicating so.]

[Brad Figg (brad-figg)]

This bug is missing log files that will aid in diagnosing the problem. From a terminal window please run:

apport-collect 1027459

and then change the status of the bug to 'Confirmed'.

If, due to the nature of the issue you have encountered, you are unable to run this command, please add a comment stating that fact and change the bug status to 'Confirmed'.

This change has been made by an automated script, maintained by the Ubuntu Kernel Team.

[B&M (tryingubuntu)]

apport information

[B&M (tryingubuntu)]

apport information

[B&M (tryingubuntu)]

apport information

[B&M (tryingubuntu)]

apport information

[B&M (tryingubuntu)]

apport information

[B&M (tryingubuntu)]

apport information

[B&M (tryingubuntu)]

apport information

[B&M (tryingubuntu)]

apport information

[B&M (tryingubuntu)]

apport information

[B&M (tryingubuntu)]

apport information

[B&M (tryingubuntu)]

apport information

[B&M (tryingubuntu)]

apport information

[B&M (tryingubuntu)]

apport information

[B&M (tryingubuntu)]

apport information

[B&M (tryingubuntu)]

apport information

[B&M (tryingubuntu)]

apport information

[B&M (tryingubuntu)]

apport information

[B&M (tryingubuntu)]

apport information

[B&M (tryingubuntu)]

apport information

[Joseph Salisbury (jsalisbury)]

Can you run apt-get update and see if this is still an issue?

[Joseph Salisbury (jsalisbury)]

bug 1031831 possibly related.

[B&M (tryingubuntu)]

Still the same problem : linux-headers-3.2.0-27 is there, but nothing
for linux 3.5.0.

Le mercredi 01 août 2012 à 16:00 +0000, Joseph Salisbury a écrit :
> Can you run apt-get update and see if this is still an issue?
>

[Joseph Salisbury (jsalisbury)]

@B&M are the kernel headers still missing?

[B&M (tryingubuntu)]

Still nothing in the usual repositories. Did I miss something ?

Le mardi 28 août 2012 à 19:12 +0000, Joseph Salisbury a écrit :
> @B&M are the kernel headers still missing?
>
> ** Tags removed: kernel-key
> ** Tags added: kernel-da-key
>
> ** Changed in: linux (Ubuntu)
> Status: Triaged => Incomplete
>

[Launchpad Janitor (janitor)]

[Expired for linux (Ubuntu) because there has been no activity for 60 days.]

[B&M (tryingubuntu)]

The problem is still there.
Summary :
- I have Ubuntu 12.04
- my kernel is : Linux PC-olivier 3.5.0-3-generic #3-Ubuntu SMP Mon Jul 2 18:51:55 UTC 2012 i686 i686 i386 GNU/Linux
- I want to install VirtualBox and it needs kernel headers for kernel 3.5.0-3-generic
- There is no way to install these headers, Synaptic only proposes 3.2 kernels !
The question is : where does this problem come from ? My 3.5 kernel was installed autoamtically, I only used ubuntu repositories and did not fiddle with the configuration. So why ?