[kernel] look for the installed kernel in @System.

Accidentally discovered while working on RhBug:1087534.