This code appears to be GPL-licensed and thus does not belong in the MINIX3 source tree. Change-Id: I9e88c3ffd8eae8697b629899dba9728863a4413a
Change-Id: Ic716f336b7071063997cf5b4dae6d50e0b4631e9