intel-kernel 15 snapd 15534 pc 115 core20 1434