BIOS: Minor log statement formatting