kernelLdFlags = [ Str "-Wl,-N",
                  NStr "-Wl,-Map,", Out arch "kernel.map",
                  Str "-fno-builtin",
                  Str "-nostdlib",
                  Str "-Wl,--fatal-warnings"
                ]
kernelLdFlags = [ Str "-Wl,-N",
                  NStr "-Wl,-Map,", Out arch "kernel.map",
                  Str "-fno-builtin",
                  Str "-nostdlib",
                  Str "-Wl,--fatal-warnings"
                ]
kernelLdFlags = [ Str "-Wl,-N",
                  NStr "-Wl,-Map,", Out arch "kernel.map",
                  Str "-fno-builtin",
                  Str "-nostdlib",
                  Str "-Wl,--fatal-warnings"
                ]