With EFI 16byte UUIDs/GUIDs are common. Add support for printing them. This needs to be selected via Kconfig since most architectures have no use for this functionality. Signed-off-by: Sascha Hauer <s.hauer@pengutronix.de>