Symbol: fdt32_to_cpu