debian/0003-ftbfs-armhf.patch