Antony Messerli d34892b3ee Updates kernel filename for Arch Linux 4 lat temu
..
netbootxyz d34892b3ee Updates kernel filename for Arch Linux 4 lat temu