Building FC4 without kernel debugging