libkrun v1.19.4 fork adding PVH boot primitives (start_info + protected-mode vCPU state) for faster, kernel-direct x86_64 microVM startup.

arch: implement x86_64 Windows/WHP backend master

Add the WHP-specific register, segment, and MSR configuration in src/arch/src/x86_64/windows/. Uses structured WHV_REGISTER_VALUE writes for FP registers and proper WHP register name mapping for MSRs. Includes the get_page_size helper for Windows. Signed-off-by: lstocchi <lstocchi@redhat.com>


+353 -2
6 changed files