base-hw: build vea9x4 libs only with vea9x4 spec

Fix #561
base-hw: fix clean- and alignment-bugs in env

Ref #420
base-hw: env bug that caused missing boot modules

Fixes #420
base: rename generic Board drivers Board_base

To enable a repo to name its specific board driver 'Board'.

Fix #569
base-hw: reorganize core-driver headers

Ref #570
base-hw: ease core build

Merge core only libs into the target make-files.

Use base-hw specific Board drivers that inherit
from generic Board_base.

Use Page_flags::access_t instead of additional
page_flags_t.

Fix #570
base-hw & imx53: enable nested init

Fix #575
os & base-hw: freescale EPIT timer driver

Fix #576
base-hw & imx31: use generic EPIT timer in core

Ref #577
base-hw & imx31: userland timer driver

Fix #577
base-hw & cortex_a9: use caches in pagetable walks

Fix #472
base: avoid shift warning in register array

Fix #422
base-hw: don't use 'long' unnecessarily

Fix #581
base-hw & arm: write-through cache on uncached RAM

Fix #473
base-hw: use Genode::memcpy in base/ipc.cc

Ref #583
base-hw: use Genode::memcpy in kernel.cc

Fix #583
base-hw: Platform_thread::cancel_blocking

Ref #589