Hi Bruce, As the comment#5, could you please check increase-x86_64-physical-bits-to-42.patch? Do you have any idea to prevent change the default x86_64 physical bits? Thanks a lot!