kdb: avoid duplicated ifdef
kernel: always use build.mk for configuration selection
platform: validate configurations according to build.mk
platform: drop unused macro DEVICE_IRQ_HANDLER
user: initial migration to libl4
Fixes r4 corruption in schdule_irq while gcc "-O0"

Fixes #31