Kernel and gcc update