fix_64bit_mem_addr.patch
fix_dmi_segfault.patch

