It could also be simultaneously true that it's cheaper to rent ARM servers from AWS than it is to rent Intel servers from them, and that AWS makes more money renting you the ARM servers. In fact, given they're developed in house, it might even be likely that the ARM margins are higher for them than their Intel margins.