[SeaBIOS] [PATCH] ata: Many CPUs cause seabios not to find boot disk