fix linux-kernel.mk cuberevo xxxxx