Correct the values in ghc_boot_platform.h