Modified Kernel to work with Root-Box port w/ GCC 4.7