/* @handle: handle of the loaded image @systable: system table  */
static int setup_reboot(const efi_handle_t handle, const struct efi_system_table *systable)
/* @handle: handle of the loaded image @systable: system table  */
static int setup_reboot(const efi_handle_t handle, const struct efi_system_table *systable)
{
	watchdog_reset = false;
	return setup(handle, systable);
}