#!/bin/sh
grep -qs '^ID=arch$' /etc/os-release \
    && { test -e /lib/modules/`uname -r` \
         || echo Kernel updated, reboot computer.; }
