- Temporarily move those headers from PSDK to DDK (due to svn awesomeness).