forgot kernel

7 jobs for ia32 in 40 minutes and 43 seconds (queued for 7 seconds)