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