+++ /dev/null
---- /home/users/glen/rpm/BUILD/xen-3.0.4_1-src/xen/common/symbols.c~ 2007-01-08 17:00:54.000000000 +0200
-+++ /home/users/glen/rpm/BUILD/xen-3.0.4_1-src/xen/common/symbols.c 2008-05-24 01:03:53.860604056 +0300
-@@ -94,7 +94,7 @@
- unsigned long symbol_end = 0;
-
- /* This kernel should never had been booted. */
-- BUG_ON(!symbols_addresses);
-+// BUG_ON(!symbols_addresses);
-
- namebuf[KSYM_NAME_LEN] = 0;
- namebuf[0] = 0;