x86: fix boot error introduced by kbuild