Linuxカーネル2.6正式版、12月にリリース