add a tag to allow bootloaders to pass an arch specific "platform" value to the kernel