SystemC gaps encountered in Virtual Platform development