debian.master/etc/kernelconfig

   1 if [ "$variant" = "ports" ]; then
   2         archs=""
   3         family='ports'
   4 else
   5         archs="amd64 i386 armel powerpc"
   6         family='ubuntu'
   7 fi