Enable hard float for pandaboard.