Fix the bolt() macros. Somehow the userland version snuck into the
kernel.