nut: Use correct function pointer casts instead of void*