PiBox

These do not work very well with the 3.10.y kernel + gcc 4.7.3. It's too complex (at the moment) to fix them and we can get around their use on the console by providing the same feature to remote users.