Assuming you can find a KitKat ROM for the 1015 (each model uses a different ROM, so don't put in a KitKat for a different S4), see [Samsung] How to flash Stock ROM via ODIN. (It's actually trivial - and very boring, so have something to do for about 10 minutes.)