machine config updates for preferred providers (kernel, u-boot, jpeg)