configs: Enable Semihosting for baremetal.py