[PATCH v2 1/2] secretmem: optimize page_is_secretmem()