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