[CentOS] semi-OT: flashing the BIOS on an HP dl580 GT, afterward