small fixups for supporting ttylinux-i486