Questions about this patch: [PATCH] ARM: Use generic BUG() handler