version=4
opts="dversionmangle=s/\+sc7280$//," \
    https://www.kernel.org/pub/linux/kernel/v7.x/ linux-(7.1\.?\d*)@ARCHIVE_EXT@
