[PATCH 01/16] cmd: efidebug: fix int to pointer cast