diff --git a/Makefile.am b/Makefile.am
index 07719408..494d7d09 100644
--- a/Makefile.am
+++ b/Makefile.am
@@ -266,7 +266,6 @@ EXTRA_DIST =				\
 	linux/powerpc64/syscallent1.h	\
 	linux/powerpc64/userent.h	\
 	linux/ptp_clock.h		\
-	linux/reboot.h			\
 	linux/s390/ioctls_arch0.h	\
 	linux/s390/ioctls_inc0.h	\
 	linux/s390/syscallent.h		\
diff --git a/linux/reboot.h b/linux/reboot.h
deleted file mode 100644
index aa336741..00000000
--- a/linux/reboot.h
+++ /dev/null
@@ -1,39 +0,0 @@
-#ifndef _LINUX_REBOOT_H
-#define _LINUX_REBOOT_H
-
-/*
- * Magic values required to use _reboot() system call.
- */
-
-#define	LINUX_REBOOT_MAGIC1	0xfee1dead
-#define	LINUX_REBOOT_MAGIC2	672274793
-#define	LINUX_REBOOT_MAGIC2A	85072278
-#define	LINUX_REBOOT_MAGIC2B	369367448
-#define	LINUX_REBOOT_MAGIC2C	537993216
-
-
-/*
- * Commands accepted by the _reboot() system call.
- *
- * RESTART     Restart system using default command and mode.
- * HALT        Stop OS and give system control to ROM monitor, if any.
- * CAD_ON      Ctrl-Alt-Del sequence causes RESTART command.
- * CAD_OFF     Ctrl-Alt-Del sequence sends SIGINT to init task.
- * POWER_OFF   Stop OS and remove all power from system, if possible.
- * RESTART2    Restart system using given command string.
- * SW_SUSPEND  Suspend system using software suspend if compiled in.
- * KEXEC       Restart system using a previously loaded Linux kernel
- */
-
-#define	LINUX_REBOOT_CMD_RESTART	0x01234567
-#define	LINUX_REBOOT_CMD_HALT		0xCDEF0123
-#define	LINUX_REBOOT_CMD_CAD_ON		0x89ABCDEF
-#define	LINUX_REBOOT_CMD_CAD_OFF	0x00000000
-#define	LINUX_REBOOT_CMD_POWER_OFF	0x4321FEDC
-#define	LINUX_REBOOT_CMD_RESTART2	0xA1B2C3D4
-#define	LINUX_REBOOT_CMD_SW_SUSPEND	0xD000FCE2
-#define	LINUX_REBOOT_CMD_KEXEC		0x45584543
-
-
-
-#endif /* _LINUX_REBOOT_H */
diff --git a/reboot.c b/reboot.c
index e3fa77a9..5c4752d9 100644
--- a/reboot.c
+++ b/reboot.c
@@ -1,5 +1,4 @@
 #include "defs.h"
-#include <linux/reboot.h>
 
 #include "xlat/bootflags1.h"
 #include "xlat/bootflags2.h"
diff --git a/xlat/bootflags1.in b/xlat/bootflags1.in
index d2b5f9f6..42048231 100644
--- a/xlat/bootflags1.in
+++ b/xlat/bootflags1.in
@@ -1 +1 @@
-LINUX_REBOOT_MAGIC1
+LINUX_REBOOT_MAGIC1 0xfee1dead
diff --git a/xlat/bootflags2.in b/xlat/bootflags2.in
index 56ad023d..8daa342e 100644
--- a/xlat/bootflags2.in
+++ b/xlat/bootflags2.in
@@ -1,4 +1,4 @@
-LINUX_REBOOT_MAGIC2
-LINUX_REBOOT_MAGIC2A
-LINUX_REBOOT_MAGIC2B
-LINUX_REBOOT_MAGIC2C
+LINUX_REBOOT_MAGIC2 672274793
+LINUX_REBOOT_MAGIC2A 85072278
+LINUX_REBOOT_MAGIC2B 369367448
+LINUX_REBOOT_MAGIC2C 537993216
diff --git a/xlat/bootflags3.in b/xlat/bootflags3.in
index d13ab87d..c0337e89 100644
--- a/xlat/bootflags3.in
+++ b/xlat/bootflags3.in
@@ -1,8 +1,8 @@
-LINUX_REBOOT_CMD_RESTART
-LINUX_REBOOT_CMD_HALT
-LINUX_REBOOT_CMD_CAD_ON
-LINUX_REBOOT_CMD_CAD_OFF
-LINUX_REBOOT_CMD_POWER_OFF
-LINUX_REBOOT_CMD_RESTART2
-LINUX_REBOOT_CMD_SW_SUSPEND
-LINUX_REBOOT_CMD_KEXEC
+LINUX_REBOOT_CMD_RESTART 0x01234567
+LINUX_REBOOT_CMD_HALT 0xCDEF0123
+LINUX_REBOOT_CMD_CAD_ON 0x89ABCDEF
+LINUX_REBOOT_CMD_CAD_OFF 0x00000000
+LINUX_REBOOT_CMD_POWER_OFF 0x4321FEDC
+LINUX_REBOOT_CMD_RESTART2 0xA1B2C3D4
+LINUX_REBOOT_CMD_SW_SUSPEND 0xD000FCE2
+LINUX_REBOOT_CMD_KEXEC 0x45584543