Some configuration changes to be able to compile and boot