After following the wiki page "how to create your board device", I am exactly in the situation indicated at the end of this page : "The execution should fail just after the "Booting BL32" notice, because state definitions are missing in the device tr...