notes: mae deb-pkg instructions for kernel