x86 boot: more consistently use type int for node ids