Dodgy NetBSD code in dlls/kernel/cpu.c?