Xenoarch bugfixes and tweaks. Nothing changed.