Re-enable x86_64 support in ARM branch

This makes using Mini-OS on x86_64 work again. It also fixes a problem with "make clean" and removes some debug code.