[packages] update to linux-3.9.5, but only for the headers