I am looking to try using Universal Deploy when pushing images, but cannot find any help with sourcing different HALs. I need to push an image created on a Core i5 to an AMD Turion based laptop, but can't find a HAL.dll for win 7 64 bit. 

Am I looking for the correct thing? Is there a known library of HALs? If not, does anyone have any advice that would be helpful?

Thanks in advance.

Tim