Opencore kernel patcher error

I use OC 0.5.7 on a B450 mainboard with Ryzen5 3600X processor.

​

When I check the debug logs of OC I see these two lines.

00:000 00:000 OC: Kernel patcher result 3 for kernel (algrey - cpuid_set_cache_info - cpuid 0x8000001D instead 0) - Not Found

00:363 00:363 OC: Kernel patcher result 24 for kernel (algrey - tsc_init - remove Penryn check to execute default case 10.14.1-.3) - Not Found

Luckily, everything works as expected. I am planning to update OC to the 0.6.4 release this week.