Symbol: CPU_TO_FDT32