Index: defaults/arm32/output
===================================================================
--- defaults/arm32/output	(revision ab5e715c9c9fdb8ec05b2ab17bac83932cdd3a57)
+++ defaults/arm32/output	(revision cd76bbd516f36017eb62c38e2de3aa95ee8c5650)