fix SMC errors when compiling the kernel