HVM AMIs now working with extlinux