bios: Stylistic cleanup