It happens the same to me with the supplied SD card. Also tried with another card, and the same issue.
I changed the video settings to 1080p, and it works. It will record normally.
Of course this solves the issue, but I don't think is nice, since one should be able to record in 4k, specially...