powerpc/40x: Update the PowerPC 40x board defconfigs