Use CONFIG_ variants of configuration definitions

The use of the CONFIG_ variants (that get declared in autoconf.h) for configuration
variables is preferred over definitions that get set somewhere in some Makefile

Remove many DONT_TRANSLATE markers.

The vast majority of the DONT_TRANSLATE markers in the kernel are used
to hide __asm__ statements and builtin functions
(e.g. __builtin_unreachable ()) from the C-to-Isabelle parser.

The parser now supports underscore identifiers and many __asm__ statements,
and the builtin functions are prototyped, meaning the vast majority of the
DONT_TRANSLATE markers can be dropped. The remaining markers cover functions
that must be treated specially.

[STYLE_FIX]

add seL4_BenchmarkFlushCaches() for arm and ia32

Available when CONFIG_ENABLE_BENCHMARKS is set, flushes caches for
running cold-cache benchmarks

[STYLE_FIX]

Disable L2 cache during initialisation

Fixes seL4/seL4#41.

SELFOUR-702: Correctly wait for clean to complete

SELFOUR-664: Support for prefetcher on Cortex-A9

Add support for enabling the L1 and L2 prefetcher on cortex-A9.

Mark some constant address pointers as const.

Pointers to structures at fixed hardware addresses such as gic_dist
and priv_timer can be known to be constant.

Added support for the Allwinner A20 platform (specifically the CubieTruck board)

Trivial: simplify #ifdef logic in L2C310 code

Add support for Zynq-7000

Release snapshot