tdebase: WITH_HAL=OFF