refactor(cbmc): make granule related buffers global

Change-Id: Ib31e826e9e98fd80d831f41408f32de274bfefad
Signed-off-by: Mate Toth-Pal <mate.toth-pal@arm.com>
2 files changed