Recording 4K H.264 from HDMI to External Media
Would you consider using a computer equipped with a 4K HDMI capture card like BlackMagic Intensity Pro 4K, to write to that SD card?

This will be cheaper than buying a recorder and you will have full control over how you capture this 4K stream over HDMI.