increase (double) address width in TstL0CacheBuffer