All symbols starting with `k' in arch/i386/boot