Update marmite_v8.4 kernel

Stock kernel is too old :(