boot/head.s: fix