Switchup bootkernel

Despite the branch name there are actually two commits here to review. The first adds the au key for prod images and the second uses coreos-kernel as the bootkernel too.