ARM: fix bios32.c build warning