#ifndef PATCH_KERNEL_H
#define PATCH_KERNEL_H

#include <stdbool.h>

bool kernel_bfi_patch(char *binary, unsigned binary_size);

#endif /* PATCH_KERNEL_H */