Notes on 8051 address space