[PATCH v6 01/12] efi_loader: Rename and move CMD_BOOTEFI_HELLO_COMPILE