use PhysAddrWidth in examples

Change-Id: I4cef2d718e8c8da8819b399e517d2db1c605d2ad
adjusted provisos

Change-Id: I9a58ad8031fc6e2e521e444f8ee6a90b12b1389a
addrWidth -> PhysAddrWidth

Change-Id: I8d959ca82e15ba0a9fd9c62e32b1b9d6c31574c7