[coreboot-gerrit] Patch merged into coreboot/master: 58fef67 arch/arm: drop extra comment

the following patch was just integrated into master:
commit 58fef67436183402a85a79aff93fe8c0bcb160f0
Author: Patrick Georgi 
Date:   Fri Mar 27 14:19:35 2015 +0100

arch/arm: drop extra comment

This is inspired by the commit listed below, but rewritten to match
    upstream, and split in smaller pieces to keep intent clear.

Change-Id: I8a5dc66d8c0dc4ccdb6dc3d66b8cdbf50dc976ca
    Signed-off-by: Patrick Georgi 
    Based-On-Change-Id: I50af7dacf616e0f8ff4c43f4acc679089ad7022b
    Based-On-Signed-off-by: Julius Werner 
    Based-On-Reviewed-on: https://chromium-review.googlesource.com/219170
    Reviewed-on: http://review.coreboot.org/9111
    Tested-by: build bot (Jenkins)
    Reviewed-by: Stefan Reinauer

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

-gerrit