kext_patcher: explicit type conversion