* UBUNTU: [Config] Produce headers packages of the form linux-headers-2.6.31-ABI * UBUNTU: Bump ABI to 100 in order to avoid collisions with other kernel packages * UBUNTU: [Config] Removed libc-dev from the control file * UBUNTU: [Config] Implement abstracted debian build for fsl-imx51