The initrd cpio archive we build is hard coded for x84_64. We should add an option to change the target.