[SeaBIOS] [PATCH] coreboot: Make sure to print the SeaBIOS version in cbmem debug output.