[coreboot-gerrit] Patch merged into coreboot/master: 6adef08 Rename hardwaremain() to main()

the following patch was just integrated into master:
commit 6adef0847e4a62abf00e489209d239c958447830
Author: Stefan Reinauer 
Date:   Thu May 9 16:30:06 2013 -0700

Rename hardwaremain() to main()

... and drop the wrapper on ARMv7

Change-Id: If3ffe953cee9e61d4dcbb38f4e5e2ca74b628ccc
    Signed-off-by: Stefan Reinauer 
    Signed-off-by: Gabe Black 
    Reviewed-on: http://review.coreboot.org/3639
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer

See http://review.coreboot.org/3639 for details.

-gerrit