kernel: switch compatible property for RedBoot DT binding