Using gcc 4.6 (kernel)