Some cleaning in the device model (added cache in addition of
addressable memory)