Verification of RISC-V Embedded Software by Integrating Concolic Testing with SystemC-based Virtual Prototypes