kernel: always use build.mk for configuration selection
platform: validate configurations according to build.mk
platform: drop unused macro DEVICE_IRQ_HANDLER