Ok, that fun part of renaming should be done, and will allow the
toolchain renaming to proceed. Just use "hw" as the argument to
rumprun's build-rr.sh instead of "baremetal".
- antti
... if this renaming doesn't stop soon, I'll rename the project to
"rename kernels".