kernel/x86: fix typo