Use correct kernel page size

Signed-off-by: Humberto Borba <humberos@gmail.com>