Does NetBSD use any special policy when scheduling tasks on CPUs with hyper-threading? For example, does it ensure that tasks are load balanced across physical cores, rather than simply assigning tasks to any logical core?