efi_debug
efi_debug("image addr == 0x%lx, reserve_addr == 0x%lx\n",
efi_debug("AMI firmware v2.0 or older detected - disabling physical KASLR\n");