bios: print number of memory errors