fix bits with HPCBIOS_2012-96, part #3

Signed-off-by: Fotis Georgatos <fotis.georgatos@uni.lu>