Very sorry, my mistake - I had not seen the linux-headers-* packages and only installed linux-kernel-headers.
Very sorry, my mistake - I had not seen the linux-headers-* packages and only installed linux-kernel- headers.