Update marmite_v8.5 bigmem kernel