[PATCH v5 03/14] efi_loader: Rename and move CMD_BOOTEFI_HELLO_COMPILE