[PATCH 1/5] kernel32/tests: Fix compilation with PSDK.