kernel/linux: use generic custom infrastructure

Config options remain the same as before, just generalised to be used by other
components also.

Signed-off-by: "David Holsgrove" <david.holsgrove@xilinx.com>
[yann.morin.1998@free.fr: fix indentation, fix comment]
Signed-off-by: "Yann E. MORIN" <yann.morin.1998@free.fr>
Message-Id: <50674fe47431174aab80.1349931193@localhost.localdomain>
PatchWork-Id: 190786

# Compute AVR32-specific values

CT_DoArchTupleValues() {

    # The architecture part of the tuple:

    CT_TARGET_ARCH="${CT_ARCH}"

    # gcc ./configure flags

    CT_ARCH_WITH_ARCH=

    CT_ARCH_WITH_ABI=

    CT_ARCH_WITH_CPU=

    CT_ARCH_WITH_TUNE=

    CT_ARCH_WITH_FPU=

    CT_ARCH_WITH_FLOAT=

    CT_TARGET_SYS=none

}