Update the xenomai patches to include the SUN5I IPIPE functions