Kernel: Add N8VEM Mark 4 and DX-Designs P112 platforms