Prebuilt semaphore+kexec-patch replaces aosp/google-kernel