PRSDK-5635: fix bugs that caused failure of DSPLIB kernels when compiled with 8.3...