SMP headers, kernel source?