. Some people (not knowing the full situation) offered advice about publicly available amd64 kernels and were shot down.