/ {
        model = "ST-Ericsson CCU9540 platform with Device Tree";
-       compatible = "st-ericsson,ccu9540";
+       compatible = "st-ericsson,ccu9540", "st-ericsson,u9540";
 
        memory {
                reg = <0x00000000 0x20000000>;
 
 
 / {
        model = "ST-Ericsson HREF (pre-v60) platform with Device Tree";
-       compatible = "st-ericsson,mop500";
+       compatible = "st-ericsson,mop500", "st-ericsson,u8500";
 
        gpio_keys {
                button@1 {
 
 
 / {
        model = "ST-Ericsson HREF (v60+) platform with Device Tree";
-       compatible = "st-ericsson,hrefv60+";
+       compatible = "st-ericsson,hrefv60+", "st-ericsson,u8500";
 
        gpio_keys {
                button@1 {
 
 
 / {
        model = "Calao Systems Snowball platform with device tree";
-       compatible = "calaosystems,snowball-a9500";
+       compatible = "calaosystems,snowball-a9500", "st-ericsson,u9500";
 
        memory {
                reg = <0x00000000 0x20000000>;
 
        of_platform_populate(NULL, u8500_local_bus_nodes, u8500_auxdata_lookup, parent);
 }
 
-static const char * u8500_dt_board_compat[] = {
-       "calaosystems,snowball-a9500",
-       "st-ericsson,hrefv60+",
-       "st-ericsson,mop500",
-       "st-ericsson,ccu9540",
+static const char * stericsson_dt_platform_compat[] = {
+       "st-ericsson,u8500",
+       "st-ericsson,u8540",
+       "st-ericsson,u9500",
+       "st-ericsson,u9540",
        NULL,
 };
 
        .handle_irq     = gic_handle_irq,
        .init_machine   = u8500_init_machine,
        .init_late      = NULL,
-       .dt_compat      = u8500_dt_board_compat,
+       .dt_compat      = stericsson_dt_platform_compat,
 MACHINE_END
 
 #endif