OAO Radioavionica patches for DenX UBoot