$(wildcard include/config/mach/e740.h) \    $(wildcard include/config/arch/iq80331.h) \    $(wildcard include/config/arch/versatile/pb.h) \    $(wildcard include/config/mach/kev7a400.h) \    $(wildcard include/config/mach/lpd7a400.h) \    $(wildcard include/config/mach/lpd7a404.h) \    $(wildcard include/config/arch/fujitsu/camelot.h) \    $(wildcard include/config/arch/janus2m.h) \    $(wildcard include/config/mach/embtf.h) \    $(wildcard include/config/mach/hpm.h) \    $(wildcard include/config/mach/smdk2410tk.h) \    $(wildcard include/config/mach/smdk2410aj.h) \    $(wildcard include/config/mach/streetracer.h) \    $(wildcard include/config/mach/eframe.h) \    $(wildcard include/config/mach/csb337.h) \    $(wildcard include/config/mach/pxa/lark.h) \    $(wildcard include/config/mach/pnp2110.h) \    $(wildcard include/config/mach/tcc72x.h) \    $(wildcard include/config/mach/altair.h) \    $(wildcard include/config/mach/kc3.h) \    $(wildcard include/config/mach/sinteftd.h) \    $(wildcard include/config/mach/mainstone.h) \    $(wildcard include/config/mach/aday4x.h) \    $(wildcard include/config/mach/lite300.h) \    $(wildcard include/config/mach/s5c7376.h) \    $(wildcard include/config/mach/mt02.h) \    $(wildcard include/config/mach/mport3s.h) \    $(wildcard include/config/mach/ra/alpha.h) \    $(wildcard include/config/mach/xcep.h) \    $(wildcard include/config/mach/arcom/vulcan.h) \    $(wildcard include/config/mach/stargate.h) \    $(wildcard include/config/mach/armadilloj.h) \    $(wildcard include/config/mach/elroy/jack.h) \    $(wildcard include/config/mach/backend.h) \    $(wildcard include/config/mach/s5linbox.h) \    $(wildcard include/config/mach/nomadik.h) \    $(wildcard include/config/mach/ia/cpu/9200.h) \    $(wildcard include/config/mach/at91/bja1.h) \    $(wildcard include/config/mach/corgi.h) \    $(wildcard include/config/mach/poodle.h) \    $(wildcard include/config/mach/ten.h) \    $(wildcard include/config/mach/roverp5p.h) \    $(wildcard include/config/mach/sc2700.h) \    $(wildcard include/config/mach/ex/eagle.h) \    $(wildcard include/config/mach/nx/pxa12.h) \    $(wildcard include/config/mach/nx/pxa5.h) \    $(wildcard include/config/mach/blackboard2.h) \    $(wildcard include/config/mach/i819.h) \    $(wildcard include/config/mach/ixmb995e.h) \    $(wildcard include/config/mach/skyrider.h) \    $(wildcard include/config/mach/skyhawk.h) \    $(wildcard include/config/mach/enterprise.h) \    $(wildcard include/config/mach/dep2410.h) \    $(wildcard include/config/mach/armcore.h) \    $(wildcard include/config/mach/hobbit.h) \    $(wildcard include/config/mach/h7210.h) \    $(wildcard include/config/mach/pxa/netdcu5.h) \    $(wildcard include/config/mach/acc.h) \    $(wildcard include/config/mach/esl/sarva.h) \    $(wildcard include/config/mach/xm250.h) \    $(wildcard include/config/mach/t6tc1xb.h) \    $(wildcard include/config/mach/ess710.h) \    $(wildcard include/config/mach/mx31ads.h) \    $(wildcard include/config/mach/himalaya.h) \    $(wildcard include/config/mach/bolfenk.h) \    $(wildcard include/config/mach/at91rm9200kr.h) \    $(wildcard include/config/mach/edb9312.h) \    $(wildcard include/config/mach/omap/generic.h) \    $(wildcard include/config/mach/aximx3.h) \    $(wildcard include/config/mach/eb67xdip.h) \    $(wildcard include/config/mach/webtxs.h) \    $(wildcard include/config/mach/hawk.h) \    $(wildcard include/config/mach/ccat91sbc001.h) \    $(wildcard include/config/mach/expresso.h) \    $(wildcard include/config/mach/h4000.h) \    $(wildcard include/config/mach/dino.h) \    $(wildcard include/config/mach/ml675k.h) \    $(wildcard include/config/mach/edb9301.h) \    $(wildcard include/config/mach/edb9315.h) \    $(wildcard include/config/mach/reciva/tt.h) \    $(wildcard include/config/mach/cstcb01.h) \    $(wildcard include/config/mach/cstcb1.h) \    $(wildcard include/config/mach/shadwell.h) \    $(wildcard include/config/mach/goepel263.h) \    $(wildcard include/config/mach/acq100.h) \    $(wildcard include/config/mach/mx1fs2.h) \    $(wildcard include/config/mach/hiptop/g1.h) \    $(wildcard include/config/mach/sparky.h) \    $(wildcard include/config/mach/ns9750.h) \    $(wildcard include/config/mach/phoenix.h) \    $(wildcard include/config/mach/vr1000.h) \    $(wildcard include/config/mach/deisterpxa.h) \    $(wildcard include/config/mach/bcm1160.h) \    $(wildcard include/config/mach/pcm022.h) \    $(wildcard include/config/mach/adsgcx.h) \    $(wildcard include/config/mach/dreadnaught.h) \    $(wildcard include/config/mach/dm320.h) \    $(wildcard include/config/mach/markov.h) \    $(wildcard include/config/mach/cos7a400.h) \    $(wildcard include/config/mach/milano.h) \    $(wildcard include/config/mach/ue9328.h) \    $(wildcard include/config/mach/uex255.h) \    $(wildcard include/config/mach/ue2410.h) \    $(wildcard include/config/mach/a620.h) \    $(wildcard include/config/mach/ocelot.h) \    $(wildcard include/config/mach/cheetah.h) \    $(wildcard include/config/mach/omap/perseus2.h) \    $(wildcard include/config/mach/zvue.h) \    $(wildcard include/config/mach/roverp1.h) \    $(wildcard include/config/mach/asidial2.h) \    $(wildcard include/config/mach/s3c24a0.h) \    $(wildcard include/config/mach/e800.h) \    $(wildcard include/config/mach/e750.h) \    $(wildcard include/config/mach/s3c5500.h) \    $(wildcard include/config/mach/smdk5500.h) \    $(wildcard include/config/mach/signalsync.h) \    $(wildcard include/config/mach/nbc.h) \    $(wildcard include/config/mach/kodiak.h) \    $(wildcard include/config/mach/netbookpro.h) \    $(wildcard include/config/mach/hw90200.h) \    $(wildcard include/config/mach/condor.h) \    $(wildcard include/config/mach/cup.h) \    $(wildcard include/config/mach/kite.h) \    $(wildcard include/config/mach/scb9328.h) \    $(wildcard include/config/mach/omap/h3.h) \    $(wildcard include/config/mach/omap/h4.h) \    $(wildcard include/config/mach/n10.h) \    $(wildcard include/config/mach/montajade.h) \    $(wildcard include/config/mach/sg560.h) \    $(wildcard include/config/mach/dp1000.h) \    $(wildcard include/config/mach/omap/osk.h) \    $(wildcard include/config/mach/rg100v3.h) \    $(wildcard include/config/mach/mx2ads.h) \    $(wildcard include/config/mach/pxa/kilo.h) \    $(wildcard include/config/mach/ixp4xx/eagle.h) \    $(wildcard include/config/mach/tosa.h) \    $(wildcard include/config/mach/mb2520f.h) \    $(wildcard include/config/mach/emc1000.h) \    $(wildcard include/config/mach/tidsc25.h) \    $(wildcard include/config/mach/akcpmxl.h) \    $(wildcard include/config/mach/av3xx.h) \    $(wildcard include/config/mach/avila.h) \    $(wildcard include/config/mach/pxa/mpm10.h) \    $(wildcard include/config/mach/pxa/kyanite.h) \    $(wildcard include/config/mach/sgold.h) \    $(wildcard include/config/mach/oscar.h) \    $(wildcard include/config/mach/epxa4usb2.h) \    $(wildcard include/config/mach/xsengine.h) \    $(wildcard include/config/mach/ip600.h) \    $(wildcard include/config/mach/mcan2.h) \    $(wildcard include/config/mach/ddi/blueridge.h) \    $(wildcard include/config/mach/skyminder.h) \    $(wildcard include/config/mach/lpd79520.h) \    $(wildcard include/config/mach/edb9302.h) \    $(wildcard include/config/mach/hw90340.h) \    $(wildcard include/config/mach/cip/box.h) \    $(wildcard include/config/mach/ivpn.h) \    $(wildcard include/config/mach/rsoc2.h) \    $(wildcard include/config/mach/husky.h) \    $(wildcard include/config/mach/boxer.h) \    $(wildcard include/config/mach/shepherd.h) \    $(wildcard include/config/mach/aml42800aa.h) \    $(wildcard include/config/mach/mach/type/ml674001.h) \    $(wildcard include/config/mach/lpc2294.h) \    $(wildcard include/config/mach/switchgrass.h) \    $(wildcard include/config/mach/ens/cmu.h) \    $(wildcard include/config/mach/mm6/sdb.h) \    $(wildcard include/config/mach/saturn.h) \    $(wildcard include/config/mach/argonplusevb.h) \    $(wildcard include/config/mach/scma11evb.h) \    $(wildcard include/config/mach/smdk2800.h) \    $(wildcard include/config/mach/mtwilson.h) \    $(wildcard include/config/mach/ziti.h) \    $(wildcard include/config/mach/grandfather.h) \    $(wildcard include/config/mach/tengine.h) \    $(wildcard include/config/mach/s3c2460.h) \    $(wildcard include/config/mach/pdm.h) \    $(wildcard include/config/mach/h4700.h) \    $(wildcard include/config/mach/h6300.h) \    $(wildcard include/config/mach/rz1700.h) \    $(wildcard include/config/mach/a716.h) \    $(wildcard include/config/mach/estk2440a.h) \    $(wildcard include/config/mach/atwixp425.h) \    $(wildcard include/config/mach/csb336.h) \    $(wildcard include/config/mach/rirm2.h) \    $(wildcard include/config/mach/cx23518.h) \    $(wildcard include/config/mach/cx2351x.h) \    $(wildcard include/config/mach/computime.h) \    $(wildcard include/config/mach/izarus.h) \    $(wildcard include/config/mach/rts.h) \    $(wildcard include/config/mach/se5100.h) \    $(wildcard include/config/mach/s3c2510.h) \    $(wildcard include/config/mach/csb437tl.h) \    $(wildcard include/config/mach/slauson.h) \    $(wildcard include/config/mach/pearlriver.h) \    $(wildcard include/config/mach/tdc/p210.h) \    $(wildcard include/config/mach/sg580.h) \    $(wildcard include/config/mach/wrsbcarm7.h) \    $(wildcard include/config/mach/ipd.h) \    $(wildcard include/config/mach/pxa/dnp2110.h) \    $(wildcard include/config/mach/xaeniax.h) \    $(wildcard include/config/mach/somn4250.h) \    $(wildcard include/config/mach/pleb2.h) \    $(wildcard include/config/mach/cornwallis.h) \    $(wildcard include/config/mach/gurney/drv.h) \    $(wildcard include/config/mach/chaffee.h) \    $(wildcard include/config/mach/rms101.h) \    $(wildcard include/config/mach/rx3715.h) \    $(wildcard include/config/mach/swift.h) \    $(wildcard include/config/mach/roverp7.h) \    $(wildcard include/config/mach/pr818s.h) \    $(wildcard include/config/mach/trxpro.h) \    $(wildcard include/config/mach/nslu2.h) \    $(wildcard include/config/mach/e400.h) \    $(wildcard include/config/mach/trab.h) \    $(wildcard include/config/mach/cmc/pu2.h) \    $(wildcard include/config/mach/fulcrum.h) \    $(wildcard include/config/mach/netgate42x.h) \    $(wildcard include/config/mach/str710.h) \    $(wildcard include/config/mach/ixdpg425.h) \    $(wildcard include/config/mach/tomtomgo.h) \    $(wildcard include/config/mach/versatile/ab.h) \    $(wildcard include/config/mach/edb9307.h) \    $(wildcard include/config/mach/sg565.h) \    $(wildcard include/config/mach/lpd79524.h) \    $(wildcard include/config/mach/lpd79525.h) \    $(wildcard include/config/mach/rms100.h) \    $(wildcard include/config/mach/kb9200.h) \    $(wildcard include/config/mach/sx1.h) \    $(wildcard include/config/mach/hms39c7092.h) \    $(wildcard include/config/mach/armadillo.h) \    $(wildcard include/config/mach/ipcu.h) \    $(wildcard include/config/mach/loox720.h) \    $(wildcard include/config/mach/ixdp465.h) \    $(wildcard include/config/mach/ixdp2351.h) \    $(wildcard include/config/mach/adsvix.h) \    $(wildcard include/config/mach/dm270.h) \    $(wildcard include/config/mach/socltplus.h) \    $(wildcard include/config/mach/ecia.h) \    $(wildcard include/config/mach/cm4008.h) \    $(wildcard include/config/mach/p2001.h) \    $(wildcard include/config/mach/twister.h) \    $(wildcard include/config/mach/mudshark.h) \    $(wildcard include/config/mach/hb2.h) \    $(wildcard include/config/mach/iq80332.h) \    $(wildcard include/config/mach/sendt.h) \    $(wildcard include/config/mach/mx2jazz.h) \    $(wildcard include/config/mach/multiio.h) \    $(wildcard include/config/mach/hrdisplay.h) \    $(wildcard include/config/mach/scma11bb.h) \    $(wildcard include/config/mach/trizeps3.h) \    $(wildcard include/config/mach/zefeerdza.h) \    $(wildcard include/config/mach/zefeerdzb.h) \    $(wildcard include/config/mach/zefeerdzg.h) \    $(wildcard include/config/mach/zefeerdzn.h) \    $(wildcard include/config/mach/zefeerdzq.h) \    $(wildcard include/config/mach/gtwx5715.h) \    $(wildcard include/config/mach/astro/jack.h) \    $(wildcard include/config/mach/tip03.h) \    $(wildcard include/config/mach/a9200ec.h) \    $(wildcard include/config/mach/pnx0105.h) \    $(wildcard include/config/mach/adcpoecpu.h) \    $(wildcard include/config/mach/csb637.h) \    $(wildcard include/config/mach/ml69q6203.h) \    $(wildcard include/config/mach/mb9200.h) \    $(wildcard include/config/mach/kulun.h) \    $(wildcard include/config/mach/snapper.h) \    $(wildcard include/config/mach/optima.h) \    $(wildcard include/config/mach/dlhsbc.h) \    $(wildcard include/config/mach/x30.h) \    $(wildcard include/config/mach/n30.h) \    $(wildcard include/config/mach/manga/ks8695.h) \    $(wildcard include/config/mach/ajax.h) \    $(wildcard include/config/mach/nec/mp900.h) \    $(wildcard include/config/mach/vvtk1000.h) \    $(wildcard include/config/mach/kafa.h) \    $(wildcard include/config/mach/vvtk3000.h) \    $(wildcard include/config/mach/pimx1.h) \    $(wildcard include/config/mach/ollie.h) \    $(wildcard include/config/mach/skymax.h) \    $(wildcard include/config/mach/jazz.h) \    $(wildcard include/config/mach/tel/t3.h) \    $(wildcard include/config/mach/aisino/fcr255.h) \    $(wildcard include/config/mach/btweb.h) \    $(wildcard include/config/mach/dbg/lh79520.h) \    $(wildcard include/config/mach/cm41xx.h) \    $(wildcard include/config/mach/ts72xx.h) \    $(wildcard include/config/mach/nggpxa.h) \    $(wildcard include/config/mach/csb535.h) \    $(wildcard include/config/mach/csb536.h) \    $(wildcard include/config/mach/pxa/trakpod.h) \    $(wildcard include/config/mach/praxis.h) \    $(wildcard include/config/mach/lh75411.h) \    $(wildcard include/config/mach/otom.h) \    $(wildcard include/config/mach/nexcoder/2440.h) \    $(wildcard include/config/mach/loox410.h) \    $(wildcard include/config/mach/westlake.h) \    $(wildcard include/config/mach/nsb.h) \    $(wildcard include/config/mach/esl/sarva/stn.h) \    $(wildcard include/config/mach/esl/sarva/tft.h) \    $(wildcard include/config/mach/esl/sarva/iad.h) \    $(wildcard include/config/mach/esl/sarva/acc.h) \    $(wildcard include/config/mach/typhoon.h) \    $(wildcard include/config/mach/cnav.h) \    $(wildcard include/config/mach/a730.h) \    $(wildcard include/config/mach/netstar.h) \    $(wildcard include/config/mach/phasefale/supercon.h) \    $(wildcard include/config/mach/shiva1100.h) \    $(wildcard include/config/mach/etexsc.h) \    $(wildcard include/config/mach/ixdpg465.h) \    $(wildcard include/config/mach/a9m2410.h) \    $(wildcard include/config/mach/a9m2440.h) \    $(wildcard include/config/mach/a9m9750.h) \    $(wildcard include/config/mach/a9m9360.h) \    $(wildcard include/config/mach/unc90.h) \    $(wildcard include/config/mach/eco920.h) \    $(wildcard include/config/mach/satview.h) \    $(wildcard include/config/mach/roadrunner.h) \    $(wildcard include/config/mach/at91rm9200ek.h) \    $(wildcard include/config/mach/gp32.h) \    $(wildcard include/config/mach/gem.h) \    $(wildcard include/config/mach/i858.h) \    $(wildcard include/config/mach/hx2750.h) \    $(wildcard include/config/mach/zeusevb.h) \    $(wildcard include/config/mach/p700.h) \    $(wildcard include/config/mach/cpe.h) \    $(wildcard include/config/mach/spitz.h) \    $(wildcard include/config/mach/nimbra340.h) \    $(wildcard include/config/mach/lpc22xx.h) \    $(wildcard include/config/mach/comet3.h) \    $(wildcard include/config/mach/comet4.h) \