Fixing a macro that the kernel doesn't like