boot> peek byte 0x90010010
  addr  = 90010010
  value = 00000000
boot> peek byte 0x9000001c
  addr  = 9000001C
  value = 00000000
boot>