NFC_PAGE_SHIFT() already takes the real page_shift value and subtract 10
to it.
Signed-off-by: NBoris Brezillon <boris.brezillon@free-electrons.com>