kernel_patcher: conversion from 'UINT64' to 'UINTN', possible loss of data