Eventually 4k page size kernels will work too (but 16k has better performance)