Expressltexx: Use GPS HAL from klte (with arco's changes)