BIOS: Remove unused include file