Add data-layouts to sel4-target files

Adding data-layout specification to the respective json files in sel4-targets directory as the layouts are required by llvm now.