Build with GCC 4.6
add F_kernel_defconfig