Sorry for the late reply, I got caught up working on another project and overlooked this. Yes, per my testing mx25u12835f is working stable without the SECT_4K option. I also found that Xilinx is using the same flash and also without the SECT_4K, so I don't think this should not be an issue.