Kernel: Removed unintended #pragma