[PATCH 1/2] ntdll: Mark monotonic_counter() as inline.