K 10
svn:author
V 8
andreast
K 8
svn:date
V 27
2012-01-20T18:52:31.004900Z
K 7
svn:log
V 142
Add the .opd section, this is helps booting a profiled kernel.
Adjust the OUTPUT_ARCH and use the builtin ALIGN() to adjust the data segment.

END