GNU Boot RC4 new gpg key

I have just installed the latest RC of gnuboot on an X200, since the gpg key has changed and it took me a while to find it, I am posting the link to the new key here. So far so good, the new version works quite well.

https://savannah.gnu.org/users/neox