Which is the best ARM Quad board ( e.g., ARM Cortex-A15 MPCore) available in the market for linux kernel development. Board must have hardware virtualization support. -- Codefreak