Sorry, don't have the answer to your question, but you mentioned SSD on USB3, so wanted to ask if NetBSD on RPi4 is using USB3 to its full potential? Some time ago I did a test with USB3 stick and throughput was not very good.