[x32] Mark RBX as reserved when EBX is the base pointer.