Oh well, I guess I should've just done the obvious and check the schematics of other Arduino variants. Sure enough they give the correct regulator, an ON Semiconductor NCP1117 with an output current of more than 1 A. Problem solved.
Thanks for suggesting this, probably wouldn't have occurred to me.