remove pc-specific build of CcspRmHal.c and use the version installed in the do_configure_append_<machine> function