Fix building with prebuilt kernel.

Credit to slim.

Change-Id: I362beb0d0788233df46a164ca3f640892d870394