US11024583B2 - Integration of a Programmable Device and a Processing System in an Integrated Circuit Package