Just keep in mind there is no factory image for the dev edition Gs4, (each developer edition device supposedly has a slightly different aboot) this is why no ota updates from big red.
I dont know how to do it but get some advice on how to back up your factory firmware before going to far. If this is even possible without a custom recovery????
Don't make the mistake I made and get a soft brick and have to flash a consumer version of mdk. My bootloader is now locked but at least I am still mdk with custom recovery and flashing capability.
Sent from my SCH-I545 using xda app-developers app