[x32] x32 should use ebx as the base pointer.