TSO might be slower than ARM’s memory ordering, but implementing it in hardware is considered faster than implementing it in software.