The travis build bots have intel cpus and the intel SDE doesn't support AMD intrinsics. We should figure out a way to test the AMD intrinsics (SSE4A, TBM), e.g., by adding a `qemu` build bot that emulates an AMD CPU.