subarch generic
cpuinfo highbank.cpuinfo
majors 3.10
flavour armmp
kernel-3.10 \
  linux-generic \
  linux-image-generic
usable \
  linux-generic \
  linux-image-generic \
  linux-image-3.13.0-8-generic
unusable \
  linux-image-armmp-lpae \
  linux-image-iop32x \
  linux-image-netwinder \
  linux-image-orion5x \
  linux-image-rpc \
  linux-image-s3c2410 \
  linux-image-ixp4xx \
  linux-image-kirkwood \
  linux-image-mx5 \
  linux-image-vexpress \
  linux-image-3.10-3-armmp-dbg