patchfile.py: Add '.def' to ramdisk name if it isn't there already