[Linux] drop HAL support

It has been dead for years and hasn't been used in any current distro for a long time.

If you accept this, I would like to know if you would accept another PR to remove DeviceKit support as well...