Which kernel flavor for big.Little systems?

[David Goodenough <david.goodenough@btconnect.com>]

The world of big.Little is about to hit boards that Debian might support
in the form of the AllWiner A80 (it has 4 big A15 and 4 little A7 processors).
This is due to hit the marketplace in the form of PcDuino-8 and 
Cubieboard-8 boards next month.  The A80 Optimus board is supposed to
be available this month.

Which kernel flavor should be used?  Should it just be treated as a 
64 bit ARM board, or are all ARM 64 kernels going to be big.Little enabled
in rather the same way that Amd64 kernels are today - although of course
in the Amd64 world this only applies to the application code not the kernel?  
If so I would then be able to load either an armhf or an arm64 deb file and 
run the relevant executables I presume.

David