Sync with powerpc64_petitboot_defconfig