kernel/platform: Remove some #include duplicates.