usage. Seems this file should really be split into the hpcarm specific bits so it shares stubs.c with the other arm32 ports. Pointed out by Håvard