Remove page cache, proper 64 bit filesize and apply upstream 1648

lib/hal/HalStorage.h

@@ -4,6 +4,7 @@
 #include <common/FsApiConstants.h>  // for oflag_t
 #include <freertos/semphr.h>
 
+#include <cstdint>
 #include <memory>
 #include <string>
 #include <vector>
@@ -88,6 +89,12 @@ class HalFile : public Print {
   size_t position() const;
   int read(void* buf, size_t count);
   int read();  // read a single byte
+
+  uint64_t size64();
+  uint64_t fileSize64();
+  bool seek64(uint64_t pos);
+  bool seekSet64(uint64_t offset);
+  uint64_t position64() const;
   size_t write(const void* buf, size_t count);
   size_t write(uint8_t b) override;
   bool rename(const char* newPath);