Oops, forgot to add machine_rpi.cc back in 20131006.
Authored by: debug 2018-09-24
Parent: [r5979]
Child: [r5981]