[PATCH 03/35] x86: Show some EFI info with the bdinfo command