As far as I can tell, this causes changes in memory layout,

which prevent the badge booting properly. Fall back to undefined
behaviour for now, until the root cause can be determined.