install.pl: Updated list of supported OSes and kernels