- add platform.h.

- use shorter boilerplate while at it.

coreutils/stty.c

@@ -2,15 +2,8 @@
 /* stty -- change and print terminal line settings
    Copyright (C) 1990-1999 Free Software Foundation, Inc.
 
-   This program is free software; you can redistribute it and/or modify
-   it under the terms of the GNU General Public License as published by
-   the Free Software Foundation; either version 2, or (at your option)
-   any later version.
-
-   You should have received a copy of the GNU General Public License
-   along with this program; if not, write to the Free Software Foundation,
-   Inc., 59 Temple Place - Suite 330, Boston, MA 02111-1307, USA.  */
-
+   Licensed under the GPL v2 or later, see the file LICENSE in this tarball.
+*/
 /* Usage: stty [-ag] [-F device] [setting...]
 
    Options:
@@ -428,7 +421,7 @@ static void          set_window_size(int rows, int cols, int fd);
 
 static const char *device_name;
 
-static __attribute__ ((noreturn)) void perror_on_device(const char *fmt)
+static ATTRIBUTE_NORETURN void perror_on_device(const char *fmt)
 {
 	bb_perror_msg_and_die(fmt, device_name);
 }