add kernel instructions