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