Попробовал, не понравилось, но похоже выбора нет - по крайней мере USB нормально завелся только в HAL, в SPL сходу не заработал, разбираться было лень. По мне SPL был логичнее, еще бы для разных семейств имена унифицировали, вообще бы цены не было. в HAL этот момент попытались исправить, но имхо получилось еще хуже.