kernel: Fatal data abort - issue on rpi4

Hello,

I am quite new to arm/aarch64. I recently purchased rpi4, burned an 
sdcard image and have been trying to run it. Time to time (but actually 
quite often) the box becomes unresponsive. I can not ping it, neither 
ssh into it. I am running fbsd 13.1-release.

The syslog only shows the following:

Aug 16 08:27:54 maxwell kernel: Fatal data abort:
Aug 16 08:27:54 maxwell kernel:   x0:                1
Aug 16 08:27:54 maxwell kernel:   x1:                0
Aug 16 08:27:54 maxwell kernel:   x2: ffffa00004a99500
Aug 16 08:27:54 maxwell kernel:   x3:        13ffffe8e
Aug 16 08:27:54 maxwell kernel:   x4: ffff0000e00ab4d4
Aug 16 08:27:54 maxwell kernel:   x5: ffffa00001319000
Aug 16 08:27:54 maxwell kernel:
Aug 16 08:27:54 maxwell kernel:   x6:                0
Aug 16 08:27:54 maxwell kernel:   x7:              100
Aug 16 08:27:54 maxwell kernel:   x8: ffffa00004a99500
Aug 16 08:27:54 maxwell kernel:   x9:                0
Aug 16 08:27:54 maxwell kernel:  x10: ffff000000c35378
Aug 16 08:27:54 maxwell kernel:  x11:                0
Aug 16 08:27:54 maxwell kernel:  x12:                1
Aug 16 08:27:54 maxwell kernel:  x13:                0
Aug 16 08:27:54 maxwell kernel:  x14:        700000000
Aug 16 08:27:54 maxwell kernel:
Aug 16 08:27:54 maxwell kernel:  x15:               39
Aug 16 08:27:54 maxwell kernel:  x16: ffff0000e00c9be0
Aug 16 08:27:54 maxwell kernel:  x17: ffff000000614fd4
Aug 16 08:27:54 maxwell kernel:  x18: ffff0000dfbf4760
Aug 16 08:27:54 maxwell kernel:
Aug 16 08:27:54 maxwell kernel:  x19: ffffa00001319198
Aug 16 08:27:54 maxwell kernel:  x20: ffffa00001319000
Aug 16 08:27:54 maxwell kernel:  x21: ffffa00004d3b800
Aug 16 08:27:54 maxwell kernel:  x22: ffffa000013191b8
Aug 16 08:27:54 maxwell kernel:
Aug 16 08:27:54 maxwell kernel:  x23: ffffa000013190e0
Aug 16 08:27:54 maxwell kernel:  x24: ffffa000013191a0
Aug 16 08:27:54 maxwell kernel:  x25: ffffa000016e7200
Aug 16 08:27:54 maxwell kernel:  x26: ffff0000e009768e
Aug 16 08:27:54 maxwell kernel:
Aug 16 08:27:54 maxwell kernel:  x27: ffffa00004a99500
Aug 16 08:27:54 maxwell kernel:  x28: ffffa00004e82d00
Aug 16 08:27:54 maxwell kernel:  x29: ffff0000dfbf4770
Aug 16 08:27:54 maxwell kernel:   sp: ffff0000dfbf4760

Does it sound familiar? Am I doing something wrong? As it's currently 
not stable, I can perform any tests with it, if required. I actually 
found a similar issue 
https://forums.freebsd.org/threads/fatal-kernel-mode-data-abort-every-2-3-boots-on-raspberry-pi-b.49066/ 
- do you think it's an sdcard issue? If so, is there a recommended list 
for purchase new ones?

Thank you,
Marek