It's using put_user() and needs this header.
Signed-off-by: NRichard Weinberger <richard@nod.at>