HAL идет в виде исходников, на сколько я могу судить, т.е. LTO
могло бы помочь. Теоретически можно весь проект собрать другим
компилятором, включив все нужные опции. Но наверное проще будет
сразу написать свое, без использования КУБа. Благо я еще только
начинаю пробовать разную периферию на предмет применимости к моей
задаче.