refactor(cbmc): refactor platform specific constants

 - Make HOST_MEM_SIZE a build time parameter
 - REC AUX page sizes redefined for CBMC
 - MAX_REC_AUX_GRANULES should be different for CBMC builds

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