When booting our kernel in blob (using the build and boot instructions given on the web and at http://projects.buici.com/) we get the following errors:

Bad page state at free_hot_cold_page (in process 'swapper', page c026ec60)
flags:0x00000080 mapping:00000000 mapcount:0 count:0
Backtrace:
[<c0022c20>] ($a+0x0/0x14) from [<c004cb0c>] (bad_page+0x64/0x94)
[<c004caa8>] (bad_page+0x0/0x94) from [<c004d214>] (free_hot_cold_page+0x8c/0x16

...
Followed by a stack dump and then:

<1>Unable to handle kernel paging request at virtual address 6974b6
0f
pgd = c0004000
[6974b60f] *pgd=00000000
Internal error: Oops: 3 [#1]
CPU: 0
PC is at $a+0x74/0x138
LR is at $a+0x74/0xb0
pc : [<c0052ccc>] lr : [<c005379c>] Not tainted
sp : c02f5c18 ip : bfab4e5e fp : c02f5c38
r10: c0247524 r9 : 00000000 r8 : c03e3010
r7 : 00000000 r6 : 00000018 r5 : c03e5ee0 r4 : c02f4000
r3 : 017f569c r2 : 69745f73 r1 : 6974b5f3 r0 : 00200200
Flags: nzCv IRQs off FIQs on Mode SVC_32 Segment kernel

Followed by

<0>Kernel panic: Aiee, killing interrupt handler!
In interrupt handler - not syncing


We are relatively new to this. Do these errors imply that we have bad HW?

Thanks.