Use correct gcc version to patch a Debian kernel