Fix build on mako board with gcc-4.8

Signed-off-by: Paul Beeler <sparksco@gmail.com>