BIOS: Minor code cleanups