kernel: add more mirrors since kernel.org redirects to https and kambing is 404