導出類型 paddr_t

在 sys/types.h 中找到的 paddr_t 資料類型在 64 位元的編譯環境中不再受到支援。目前僅有在 32 位元的編譯環境中才可供使用。