#size-cells = <2>;
                ranges;
 
-               gic0: interrupt-controller@8010,00000000 {
+               gic0: interrupt-controller@801000000000 {
                        compatible = "arm,gic-v3";
                        #interrupt-cells = <3>;
                        #address-cells = <2>;
                        };
                };
 
-               uaa0: serial@87e0,24000000 {
+               uaa0: serial@87e024000000 {
                        compatible = "arm,pl011", "arm,primecell";
                        reg = <0x87e0 0x24000000 0x0 0x1000>;
                        interrupts = <1 21 4>;
                        clock-names = "apb_pclk";
                };
 
-               uaa1: serial@87e0,25000000 {
+               uaa1: serial@87e025000000 {
                        compatible = "arm,pl011", "arm,primecell";
                        reg = <0x87e0 0x25000000 0x0 0x1000>;
                        interrupts = <1 22 4>;