Drop Raspberry Pi ROM size down to 5MB

Detail:
  ROOL/BCM2835,feb - Reduced ROM size from 6MB to 5MB. We haven't needed 6MB for ages!
Admin:
  Tested on Raspberry Pi


Version 1.24. Tagged as 'Env-1_24'

ROOL/BCM2835,feb

@@ -23,7 +23,7 @@ set Machine    ARM11ZF
 set System     Ursula
 set UserIF     Raspberry
 set Display    PAL
-set ImageSize  6144K
+set ImageSize  5120K
 set HALSize    64K
 set Build      ROOL.BCM2835
 set APCS       APCS-32

VersionNum

-/* (1.23)
+/* (1.24)
  *
  * This file is automatically maintained by srccommit, do not edit manually.
  * Last processed by srccommit version: 1.1.
  *
  */
-#define Module_MajorVersion_CMHG        1.23
+#define Module_MajorVersion_CMHG        1.24
 #define Module_MinorVersion_CMHG        
-#define Module_Date_CMHG                27 Jan 2013
+#define Module_Date_CMHG                01 Apr 2013
 
-#define Module_MajorVersion             "1.23"
-#define Module_Version                  123
+#define Module_MajorVersion             "1.24"
+#define Module_Version                  124
 #define Module_MinorVersion             ""
-#define Module_Date                     "27 Jan 2013"
+#define Module_Date                     "01 Apr 2013"
 
-#define Module_ApplicationDate          "27-Jan-13"
+#define Module_ApplicationDate          "01-Apr-13"
 
 #define Module_ComponentName            "Env"
 #define Module_ComponentPath            "castle/RiscOS/Env"
 
-#define Module_FullVersion              "1.23"
-#define Module_HelpVersion              "1.23 (27 Jan 2013)"
-#define Module_LibraryVersionInfo       "1:23"
+#define Module_FullVersion              "1.24"
+#define Module_HelpVersion              "1.24 (01 Apr 2013)"
+#define Module_LibraryVersionInfo       "1:24"