[NTOS:KD] Fix build, addendum to commit f3dd7133.