Bugfix BIOS loading for ECS support